Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: The Type System TS Vladimir Voevodsky S-101
13:00	13:30 - 15:00 Working Group on Univalent Foundations S-101
15:00	15:30 - 16:30 Special Lecture: Reflection Positivity and Infrared Bound... Daniel Ueltschi S-101