Events
Below is an overview of all upcoming events arranged by the CAS administration and fellows. To see past events, click on the links in the sidebar.
| August 2018 | |
|---|---|
|
|
CAS project kick-off: 'Homotopy Type Theory and Univalent Foundations'
(all day)
Turret room, CAS |
