** Sent on behalf of Emily Riehl. Please observe the deadline ahead **
The 2022 North American Annual Meeting of the Association of Symbolic Logic will be held at Cornell University, from April 7th-10th. During the conference, there will be a special session on homotopy type theory, tentatively scheduled for Saturday (all day) and Sunday (morning), with the following six speakers:
More details, including a full schedule, titles, and abstracts will be coming soon but the reason I am writing to announce this workshop now is that there is some funding available for graduate students available to those who apply by Wednesday December 1st, 2021.
Instructions for the application can be found here:
The application requires just one page, plus a short letter from the thesis advisor.
Please let me know if you have any questions.
From the organizer,