Previous Conferences & Workshops
Mar
26
2013
Mar
25
2013
Univalent Foundations Tutorial
Isomorphism of Types: A Simple(-Typed) Viewpoint
Sergei Soloviev
4:00pm|S-101
Mar
25
2013
Mar
25
2013
Computer Science/Discrete Mathematics Seminar I
New Locally Decodable Codes from Lifting
Madhu Sudan
11:15am|S-101
Mar
22
2013
Joint IAS/Princeton University Symplectic Geometry Seminar
The Hypoelliptic Laplacian
1:30pm|Fine Hall 322
Mar
21
2013
Univalent Foundations Seminar
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
11:00am|S-101
