Des preuves et des programmes

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,

Lire la suite

Maths en mouvement 2023

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)

Lire la suite

S'inscrire à Maths en mouvement 2023

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

Lire la suite

S'inscrire à Maths en mouvement 2022

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

 

Lire la suite

Maths en mouvement 2022

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.

Lire la suite