Collection Fields medallists - 2002
Appears in collection : Fields medallists
Mathematics
and Interactions
-
All the collection videos (14)
![Univalent Foundations - new type-theoretic foundations of mathematics]()
54:16published on April 23, 2014Univalent Foundations - new type-theoretic foundations of mathematics
By Vladimir Voevodsky
![Laurent Lafforgue - Classifying toposes of geometric theories]()
4 videospublished on June 26, 2021Laurent Lafforgue - Classifying toposes of geometric theories
![Laurent Lafforgue - Catégories syntactiques pour les motifs de Nori]()
3 videospublished on September 24, 2015Laurent Lafforgue - Catégories syntactiques pour les motifs de Nori
![Laurent Lafforgue - Fonctorialité et formules de Poisson non-linéaires]()
4 videospublished on June 22, 2014Laurent Lafforgue - Fonctorialité et formules de Poisson non-linéaires
-
Suggestions
![On expansions of monadic second-order logic with power predicates - Lecture 1]()
53:11published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 2
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 3
By Joël Ouaknine
