Video Lectures

Galois, Grothendieck and Voevodsky

September 12, 2018

George Shabat

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...

video lecture

Opening Remarks

September 11, 2018

Robbert Dijkgraaf

video lecture

On Voevodsky's univalence principle

September 11, 2018

André Joyal

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...

video lecture

A1-algebraic topology : genesis, youth and beyond

September 11, 2018

Fabien Morel

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.

video lecture

What do we mean by "equal"

September 11, 2018

Pierre Deligne

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.

video lecture

The mathematical work of Vladimir Voevodsky

September 11, 2018

Dan Grayson

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...