Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101
13:00	13:30 - 15:00 Working Group on Univalent Foundations S-101
14:00	14:00 - 15:00 Topology: The Topology of DNA Dorothy Buck Princeton University, Jadwin Hall, Rm. 407
15:00	15:30 - 16:30 Topology: Discrete Morse Complexes and Skeletons f... Vanessa Robins Princeton University, Jadwin Hall, Rm. 407
17:00	17:00 - 18:00 Topology: Driving Forces in Comeocyte Expansion: A... Myfanwy Evans Princeton University, Jadwin Hall, Rm. 407
18:00	18:00 - 19:30 Mathematical Conversations: Checking Mathematical Proofs With a Comp... Assia Mahboubi Dilworth Room