Collection Logic and higher structures / Logique et structures supérieures

Organizer(s) Ara, Dimitri ; Coquand, Thierry ; Mimram, Samuel
Date(s) 21/02/2022 - 25/02/2022
linked URL https://conferences.cirm-math.fr/2689.html

All the collection videos (6)

01:33:58

published on March 14, 2022

On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory

By Emily Riehl

01:30:04

published on March 14, 2022

Daily applications of the univalence axiom: lecture 1

By Egbert Rijke

01:21:55

published on March 14, 2022

On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations

By Emily Riehl

01:22:28

published on March 14, 2022

Daily applications of the univalence axiom: lecture 2

By Egbert Rijke

01:40:57

published on March 14, 2022

On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes

By Emily Riehl

01:22:58

published on March 14, 2022

Daily applications of the univalence axiom: lecture 3

By Egbert Rijke

Mathematics
and Interactions

Francophone Computer Algebra Days / JNCF - Journées nationales de calcul formel

Master Class Lycéennes Séphora Berrebi

Séminaire Parisien de Statistique

One question, One researcher

Collection Logic and higher structures / Logique et structures supérieures

On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory

Daily applications of the univalence axiom: lecture 1

On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations

Daily applications of the univalence axiom: lecture 2

On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes

Daily applications of the univalence axiom: lecture 3

SageMath: research and experimentation in Combinatorics - Lecture 1

SageMath: research and experimentation in Combinatorics - Lecture 2

Point-Counting and the Zilber-Pink Conjecture (4/4)

Point-Counting and the Zilber-Pink Conjecture (4/4)

Point-Counting and the Zilber-Pink Conjecture (4/4)

Beauty of Life seen through Keyhole of Mathematics (4/4)

Random walks on simplicial complexes

Lipschitz-Killing curvatures of excursion sets for two dimensional random fields

Cohomology of real algebraic varieties and sums of squares

Imaginary Liouville conformal field theory