Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	28	29	30	31	1	2	3
11:00		11:15 - 12:15 CSDM I: Combinatorial Walrasian Equilibrium Michal Feldman S-101		11:00 - 12:30 Univalent Foundations Seminar: Type Systems (continued) Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: Kan Simplicial Set Model of Type Theory ... Peter Lumsdaine S-101	11:00 - 12:30 Working Group on Univalent Foundations S-101
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: The Incompressible Euler Equations in La... Uriel Frisch S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial S-101				16:30 - 17:30 IAS/PU Symplectic Geometry: Hamiltonian S^1 Actions with Isolated Fi... Andrew Fanoe S-101

Item	Key
Event
workshop

Calendar Legend