Dependent Type Theory Reading Group

We will be reading Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer, available online. This is an in-person event and there will be no recording. Read in your own pace and we will try to go over what is interesting/difficult/important for you and me during the meeting.

No background needed, all you need is interest and time. This will be a slow learning experience so we will not rush through the book. We will meet once per week.

Locations and time can be adjusted based on most participants’ schedule/convenience.

Send me an email if interested and once I have gathered some people, I can start planning our first meeting to discuss schedules and other issues.

My email is: zhengwangyuan.icarus@gmail.com Thank you.