Natural Sciences, Medicine, Mathmatics
Upcoming events from the research group in Natural Sciences/ Medicine/ Mathmatics will be displayed here.
| August 2018 | |
|---|---|
|
|
CAS project kick-off: 'Homotopy Type Theory and Univalent Foundations'
(all day)
Turret room, CAS |
