Previous Conferences & Workshops

Dec

06

2012

Working Group on Algebraic Number Theory

2:00pm|Fine Hall -- 801

Dec

06

2012

Univalent Foundations Seminar

The Simplicial Model of Univalence

Peter Lumsdaine

11:00am|S-101

Dec

05

2012

Mathematical Conversations

Checking Mathematical Proofs With a Computer

Assia Mahboubi

6:00pm|Dilworth Room

Black (or white) board is probably one of the most precious companions to many mathematicians. However, computers now also play an increasing role in the everyday activity of a researcher in mathematics: for typesetting articles, for testing...

Dec

05

2012

Workshop on Topology: Identifying Order in Complex Systems

Driving Forces in Comeocyte Expansion: A Geometric Perspective

Myfanwy Evans

5:00pm|Princeton University, Jadwin Hall, Rm. 407

Dec

05

2012

Workshop on Topology: Identifying Order in Complex Systems

Discrete Morse Complexes and Skeletons from Digital Images

Vanessa Robins

3:30pm|Princeton University, Jadwin Hall, Rm. 407

Dec

05

2012

Workshop on Topology: Identifying Order in Complex Systems

The Topology of DNA

Dorothy Buck

2:00pm|Princeton University, Jadwin Hall, Rm. 407

Dec

05

2012

Working Group on Univalent Foundations

1:30pm|S-101

Dec

05

2012

Univalent Foundations Seminar

Type Systems

Vladimir Voevodsky

11:00am|S-101

Dec

04

2012

Working Group on Univalent Foundations

1:30pm|S-101

Dec

04

2012

Computer Science/Discrete Mathematics Seminar II

Delegation for Bounded Space

Ran Raz

10:30am|S-101