Date(s) : 23/05/2018 iCal
11 h 00 min - 12 h 30 min
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
à 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).
–
[bleu]PROGRAMME[/bleu]
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
–
–
–
https://conf-mpci-2018.lis-lab.fr/?page_id=54
Catégories Pas de Catégories