La prochaine édition de Mathématiques en mouvement aura pour thème Des preuves et des programmes. Elle aura lieu le samedi 2 décembre 2023 de 14h à 18h (et sera suivie d'un pot de clôture de 18h à 19h) à l'Institut Henri Poincaré (5 rue Pierre et Maris Curie, Paris 5e), amphithéâtre Hermite.

À travers cinq exposés et une tabe ronde, cette mini-conférence sera l'occasion d'explorer des sujets tels que :

- les fondements, avec notamment la correspondance entre preuves et programmes et la théorie des types homotopiques,

- la formalisation des mathématiques,

- la preuve automatique et le lien avec l'intelligence artificielle,

A l'eau les maths !

L'édition 2023 de la conférence Mathématiques en mouvement a eu lieu le samedi 13 mai 2023 de 14h à 18h en amphithéâtre Hermite de l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris), sous le titre À l'eau les maths ! Organisée sous la houlette de Jacques Sainte-Marie (Inria, SU), elle a été l'occasion d'explorer le rôle des mathématiques dans la compréhension de diverses problématiques liées à l'eau, à travers des exposés accessibles dès la licence ou la première annnée de CPGE.

Cliquez ici pour télécharger l'affiche.

INTERVENANT.E.S

Nina Aguillon (LJLL, SU)

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

Insription à la conférence Mathématiques en mouvement, sur le thème Mathématiques et démocratie : le vote à la loupe, samedi 11 juin 2022 de 9h à 18h en amphithéâtre Hermite de l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris).

L'édition 2022 de la conférence Mathématiques en mouvement, accessible aux étudiants dès la licence ou la 1ère année de CPGE, se tiendra le samedi 11 juin 2022 de 9h à 18h en amphithéâtre Hermite de l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris). Elle aura pour thème Mathématiques et démocratie : le vote à la loupe et est organisée sous la houlette de Rida Laraki, directeur de recherche CNRS au LAMSADE.