Séminaire
Image de couverture
Le Vendredi 13 octobre 2023
14h0016h00
Les événements précédents
Séminaire
Image de couverture
Rencontre
Le Mercredi 4 octobre 2023
15h0017h00
Exposé de Jan von Plato The exact correspondence between intuitionistic and modal logic
Séminaire
Image de couverture
Université d'été
Image de couverture
Séminaire
Image de couverture
Colloque
Image de couverture
Google DeepMind
Journée d'étude
Image de couverture
Wikimedia Commons
Le Vendredi 5 mai 2023
11h0017h00
Formalisation des mathématiques et preuves assistées par ordinateur
Séminaire
Image de couverture
Séminaire
Image de couverture
Séminaire
Image de couverture
Le Jeudi 30 mars 2023
13h3018h30
Journée des nouveaux doctorants et doctorantes de l'IHPST
Conférence
Image de couverture
Wikimedia Commons
Le Mardi 28 mars 2023
16h0018h00