Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > À la une

JPEG - 3.7 ko
Dans le cadre du 4ème cycle de conférences MPCI, Laurent Regnier donnera un exposé sur le "Théorème d’incomplétude de Gödel", le mercredi 23 mai 2018, à 11h

par Lozingot Eric - publié le

à la Médiathèque de l’École Centrale de Marseille.

-
Site web : L’INFORMATIQUE AU COEUR DES SCIENCES
Quatrième cycle de conférences MPCI – Marseille, 22 et 23 mai 2018
-
Journée du Mercredi 23 mai : « Informatique et Société, Mathématiques, Modélisation »
-
Lieu : médiathèque de l’École Centrale Marseille (voir plan).
-
PROGRAMME
- 9h30 : Informatique et Société par Gilles Dowek (Inria, ENS Paris-Saclay)
- 11h : Le théorème d’incomplétude de Gödel par Laurent Régnier (I2M, Aix-Marseille Université)
- 12h30 : déjeuner
- 14h : La mécanisation du raisonnement mathématique par Laurent Thery (Inria)
- 15h30 : La modélisation des instruments de musique en acoustique par Christophe Vergez (LMA)
- 17h : fin de la journée
-
-
-

Voir en ligne : Colloquium Intelligence Artificielle, Machine Learning, Data Science (IAMLDS)

Portfolio