Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	16	17	18	19	20	21	22
10:00			10:30 - 12:30 CSDM II: The SOS (aka Lassere/Positivestellensatz... (1) Raghu Meka and (2) Avi Wigderson S-101
11:00		11:15 - 12:15 CSDM I No Seminar		11:00 - 12:30 Univalent Foundations Seminar: The Type System TS Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: Constructing HITs in a Realizability Mod... Andrej Bauer West Bldg. Lecture Hall	11:00 - 12:30 Working Group on Univalent Foundations West Bldg. Lecture Hall
13:00			13:30 - 14:45 Working Group on Univalent Foundations S-101	13:30 - 15:00 Working Group on Univalent Foundations S-101
14:00		14:00 - 15:00 Members Seminar There will be no Members Seminar today S-101
15:00			15:15 - 16:15 Analysis Seminar To Be Announced S-101	15:30 - 16:30 Special Lecture: Reflection Positivity and Infrared Bound... Daniel Ueltschi S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial S-101