Calendar

« Prev

December 2012

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
48							1
49	2	3 11:15 - 12:15 CSDM I: Information Complexity and Exact Communi... Mark Braverman S-101 14:00 - 15:00 Members Seminar: Quantum Mechanics -- a Primer for Mathem... Juerg Frohlich S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	4 10:30 - 12:30 CSDM II: Delegation for Bounded Space Ran Raz S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101	5 11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 14:00 - 15:00 Topology: The Topology of DNA Dorothy Buck Princeton University, Jadwin Hall, Rm. 407 15:30 - 16:30 Topology: Discrete Morse Complexes and Skeletons f... Vanessa Robins Princeton University, Jadwin Hall, Rm. 407 17:00 - 18:00 Topology: Driving Forces in Comeocyte Expansion: A... Myfanwy Evans Princeton University, Jadwin Hall, Rm. 407 18:00 - 19:30 Mathematical Conversations: Checking Mathematical Proofs With a Comp... Assia Mahboubi Dilworth Room	6 11:00 - 12:30 Univalent Foundations Seminar: The Simplicial Model of Univalence Peter Lumsdaine S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Monodromy and Arithmetic Groups T. N. Venkataramana Fine Hall 214	7 11:00 - 12:30 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: Nonlinear Long-Range Resonant Scattering... Avy Soffer S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Open-Closed Gromov-Witten Invariants of ... Chiu-Chu Melissa Liu S-101	8
50	9	10 11:15 - 12:15 CSDM I: Matching: A New Proof for an Ancient Al... Vijay Vazirani S-101 14:00 - 15:00 Members Seminar: A Tricky Problem on Sums of Two Squares Enrico Bombieri S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	11 10:30 - 12:30 CSDM II: Combinatorial PCPs with Short Proofs Or Meir S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101 14:45 - 16:00 Special Lecture: (1) Quantum Beauty; (2) Beauty in Mathe... (1) Frank Wilczek; (2) Enrico Bombieri S-101	12 11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations Michael Shulman S-101 15:30 - 16:30 Special Lecture: Universality in Mean Curvature Flow Neck... Gang Zhou S-101 18:00 - 19:30 Mathematical Conversations: Derived Methods in Arithmetic Geometry Bhargav Bhatt Dilworth Room	13 11:00 - 12:30 Univalent Foundations Seminar: Invariance Under Isomorphism and Definab... Per Martin-Löf S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 16:30 - 17:30 IAS/PU Number Theory: Local Global Principles for Galois Cohom... Julia Hartmann S-101	14 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Arnold Conjecture for Clifford Symplecti... Doris Hein Fine Hall 322	15
51	16	17 11:15 - 12:15 CSDM I No Seminar 14:00 - 15:00 Members Seminar There will be no Members Seminar today S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	18 10:30 - 12:30 CSDM II: The SOS (aka Lassere/Positivestellensatz... (1) Raghu Meka and (2) Avi Wigderson S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar To Be Announced S-101	19 11:00 - 12:30 Univalent Foundations Seminar: The Type System TS Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 15:30 - 16:30 Special Lecture: Reflection Positivity and Infrared Bound... Daniel Ueltschi S-101	20 11:00 - 12:30 Univalent Foundations Seminar: Constructing HITs in a Realizability Mod... Andrej Bauer West Bldg. Lecture Hall	21 11:00 - 12:30 Working Group on Univalent Foundations West Bldg. Lecture Hall	22
52	23	24	25	26	27	28	29
53	30	31