Séminaire
Image de couverture
Le Friday 13 October 2023
14h0016h00
Past events
Séminaire
Image de couverture
Rencontre
Le Wednesday 4 October 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 Friday 5 May 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 Thursday 30 March 2023
13h3018h30
Journée des nouveaux doctorants et doctorantes de l'IHPST
Conférence
Image de couverture
Wikimedia Commons
Le Tuesday 28 March 2023
16h0018h00