Upcoming Events
-
Univalent Foundations of Mathematics09/24/2012 - 08/15/2013
-
Non-equilibrium Dynamics and Random Matrices09/01/2013 - 08/01/2014
-
Workshop on Non-equilibrium Dynamics and Random Matrices11/04/2013 - 11/08/2013
-
The Topology of Algebraic Varieties09/01/2014 - 08/01/2015
...events calendar
March 21, 2013
Univalent Foundations Seminar: A Proof Assistant Prototype Based on Alg...
Andrej Bauer
11:00 - 12:30
S-101
March 22, 2013
Univalent Foundations Seminar: Substructural Type Theory
Noam Zeilberger
11:00 - 12:30
S-101
IAS/PU Symplectic Geometry: The Hypoelliptic Laplacian
Jean-Michel Bismut
13:30 - 14:30
Fine Hall 322
March 25, 2013
CSDM I: New Locally Decodable Codes from Lifting
Madhu Sudan
11:15 - 12:15
S-101
Members Seminar: Rigidity of Actions on CAT(0) Cube Com...
Alessandra Iozzi
14:00 - 15:00
S-101
...more seminars