Évènement

Date(s) : 23/05/2018   iCal
11h00 - 12h30

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