Conference FLAIM: Formal Languages, AI and Mathematics

Name: Conference FLAIM: Formal Languages, AI and Mathematics
Start: 2022-11-03T08:40:00+01:00
End: 2022-11-04T19:00:00+01:00
Location: Institut Henri Poincaré

3–4 nov. 2022

Institut Henri Poincaré

Fuseau horaire Europe/Paris

Accueil
Ordre du jour
Inscription

Contact

contact@ihp.fr

Formalized mathematics for mathematicians

3 nov. 2022, 11:45

Amphithéâtre Hermite (Institut Henri Poincaré)

Amphithéâtre Hermite

Institut Henri Poincaré

11 rue Pierre et Marie Curie 75005 Paris

Patrick Massot

Aucun document.

Fonctionne avec Indico v3.2.9

Conference FLAIM: Formal Languages, AI and Mathematics

Contact

Formalized mathematics for mathematicians

Amphithéâtre Hermite

Institut Henri Poincaré

Orateur

Documents de présentation