Previous Conferences & Workshops

Sep
12
2018

Vladimir Voevodsky Memorial Conference

The synthetic theory of $infty$-categories vs the synthetic theory of $infty$-categories
Emily Riehl
11:30am|Wolfensohn Hall

Homotopy type theory provides a “synthetic” framework that is suitable for developing the theory of mathematical objects with natively homotopical content. A famous example is given by (∞,1)-categories — aka “∞-categories” — which are categories...

Sep
12
2018

Vladimir Voevodsky Memorial Conference

Univalent foundations and the equivalence principle
10:15am|Wolfensohn Hall

Abstract: The "equivalence principle" says that meaningful statements in mathematics should be invariant under the appropriate notion of equivalence of the objects under consideration. In set-theoretic foundations, the EP is not enforced; e.g., the...

Sep
12
2018

Vladimir Voevodsky Memorial Conference

Galois, Grothendieck and Voevodsky
George Shabat
9:00am|Wolfensohn Hall

Abstract: The talk will start with discussing the common features of the three mathematicians from the title: their non-standard education and specific relations with the community, outstanding imagination, productivity and contribution to the...

Sep
11
2018

Vladimir Voevodsky Memorial Conference

On Voevodsky's univalence principle
4:00pm|Wolfensohn Hall

Abstract: The discovery of the "univalence principle" is a mark of Voevodsky's genius. Its importance for type theory cannot be overestimated: it is like the "induction principle" for arithmetic. I will recall the homotopy interpretation of type...

Sep
11
2018

Vladimir Voevodsky Memorial Conference

$A^1$-algebraic topology : genesis, youth and beyond
2:30pm|Wolfensohn Hall

Abstract: This talk will be a survey on the development of $A^1$-homotopy theory, from its genesis, and my meeting with Vladimir, to its first successes, to more recent achievements and to some remaining open problems and potential developments.

Sep
11
2018

Vladimir Voevodsky Memorial Conference

What do we mean by "equal"
11:30am|Wolfensohn Hall

Abstract: In the univalent foundation formalism, equality makes sense only between objects of the same type, and is itself a type. We will explain that this is closer to mathematical practice than the Zermelo-Fraenkel notion of equality is.

Sep
11
2018

Vladimir Voevodsky Memorial Conference

The mathematical work of Vladimir Voevodsky
Dan Grayson
10:00am

Abstract: Vladimir Voevodsky was a brilliant mathematician, a Fields Medal winner, and a faculty member at the Institute for Advanced Study, until his sudden and unexpected death in 2017 at the age of 51. He had a special flair for thinking...

Sep
01
2018

Special Year on Variational Methods in Geometry

12:00am

During the 2018-19 academic year, the School had a special program on Variational Methods in Geometry. Fernando Codá Marques of Princeton University was the Distinguished Visiting Professor.

Confirmed senior participants for Term I: Ailana Fraser...