Thematic team Algebra and computation

Thematic team Proofs and programs

## Type theory and homotopy theory

#### Day, hour and place

Friday at 3:30pm, room 3052

The calendar of events (iCal format).

In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link.

#### Contact(s)

### Previous talks

#### Year 2024

Type theory and homotopy theory

Friday May 24, 2024, 3:30PM, Salle 3052

**Sarah Reboullet** *Cubical type theory and its model*

Type theory and homotopy theory

Friday March 29, 2024, 3:30PM, Salle 3052

**Moana Jubert** *Sémantique de la théorie homotopique des types*

Type theory and homotopy theory

Friday March 15, 2024, 3:30PM, Salle 3052

**Vincent Moreau** *The simplicial model: a univalent, weakly universal fibration*

Type theory and homotopy theory

Friday March 1, 2024, 3:30PM, Salle 3052

**Sylvain Douteau** *Homotopy theory of simplicial sets*

Type theory and homotopy theory

Friday February 2, 2024, 3:30PM, Salle 3052

**Sylvain Douteau** *Intuitions topologiques sur les homotopies*

Type theory and homotopy theory

Friday January 19, 2024, 3:30PM, Salle 3052

**Vincent Moreau** *How to code mathematics in type theory, using Agda*

#### Year 2023

Type theory and homotopy theory

Friday December 8, 2023, 3:30PM, Salle 3052

**Moana Jubert** *Prérequis homotopiques de la théorie des types homotopiques*

Type theory and homotopy theory

Friday November 24, 2023, 3:30PM, Salle 3052

**Pierre-Évariste Dagand** *Demystifying substitutions in type theory*

Type theory and homotopy theory

Friday November 10, 2023, 3:30PM, Salle 3052

**Sylvain Douteau** *Elementary introduction of simplicial sets*

Type theory and homotopy theory

Friday October 20, 2023, 3:30PM, Salle 3052

**Vincent Moreau** *Overview of type theory*