S'inscrire à Maths en mouvement / Des preuves et des programmes

L'inscription est obligatoire et se fait via le formulaire ci-dessous.

La prochaine édition de la conférence Mathématiques en mouvement se tiendra le samedi 2 décembre 2023 de 14h à 19h en amphithéâtre Hermite de l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris), sous le titre Des preuves et des programmes.
Cette conférence est accessible aux étudiants dès la licence ou la 1ère année de CPGE.
Organisée sous la houlette de Hugo Herbelin (Inria, IRIF), elle abordera des thèmes tels que les fondements logiques des mathématiques, la vérification de preuve, la démonstration automatique, le rêve d'une informatique sans bugs ...
Voir le programme ici.

Cliquez ici pour revenir à la page de la conférence. 

Tweet
×
Stay Informed

When you subscribe to the blog, we will send you an e-mail when there are new updates on the site so you wouldn't miss them.

Loi "immigration"
Invitations et séjours