Sélectionnez votre langue

Des preuves et des programmes

Orateurs oratrice MEM PP1

La dernière édition de Mathématiques en mouvement a eu pour thème Des preuves et des programmes. Organisée sous la houlette de Hugo Herbelin (Inria, IRIF), elle a eu lieu le samedi 2 décembre 2023 de 14h à 18h à l'Institut Henri Poincaré (5 rue Pierre et Marie Curie, Paris 5e), amphithéâtre Hermite. Comme tous les ans, cette conférence était accessible aux étudiants et étudiantes, dès la licence.

 

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

Programme

14h00-14h10 : Accueil, introduction  

14h10-14h40 : Et si les preuves mathématiques n’étaient autres que des programmes ?, par Hugo Herbelin (Inria, IRIF) 

14h40-15h10 : Pourrait-on vérifier toutes les mathématiques sur ordinateur ?, par Riccardo Brasca (IMJ-PRG)

15h10-15h40 : Des programmes sans bugs grâce aux mathématiques formelles, par Jean-Marie Madiot (Inria) 

15h40-16h00 : Pause café

16h00-16h30 :  Démonstration automatique : l'exemple de Sniper, par Chantal Keller (LMF, Université Paris-Saclay)

16h30-17h00 : La fonction G de Hofstadter et au-delà ! Un exemple curieux mêlant calculs et preuves sur ordinateur, par Pierre Letouzey (IRIF, UPC, Inria)

17h00-18h00 : Table ronde 

18h00-19h00 : Collation de clôture

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

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

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