Une introduction à la formalisation mathématique

Name: Une introduction à la formalisation mathématique
Start: 2026-10-15T17:00:00+02:00
End: 2026-10-15T19:00:00+02:00
Location: IHP

jeu15oct

15 octobre 2026 à 17:00IHP

Organisé par: Institut Henri Poincaré

Conférence de mathématiques à Paris, le jeudi 15 octobre 2026, de 17:00 à 19:00. Organisée par Institut Henri Poincaré. Lieu : IHP. Entrée gratuite (inscription parfois demandée).

Voir sur Lotent →Page officielle · inscription ↗

+ Ajouter à Google Agenda

Vérifie les horaires sur la page officielle avant de te déplacer.

Une introduction à la formalisation mathématique

Prochaines conférences · Institut Henri Poincaré