BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7311@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180523T110000
DTEND;TZID=Europe/Paris:20180523T123000
DTSTAMP:20241120T203907Z
URL:https://www.i2m.univ-amu.fr/evenements/theoreme-dincompletude-de-godel
 /
SUMMARY: (...): Théorème d’incomplétude de Gödel
DESCRIPTION:: Dans le cadre du 4ème cycle de conférences MPCI\, Laurent R
 egnier donnera un exposé sur le "Théorème d’incomplétude de Gödel"\
 , le mercredi 23 mai 2018\, à 11h\n\n&nbsp\;\n\nà la Médiathèque de l
 ’École Centrale de Marseille.\n\n-\nSite web : L'INFORMATIQUE AU COEUR 
 DES SCIENCES\nQuatrième cycle de conférences MPCI – Marseille\, 22 et 
 23 mai 2018\n-\nJournée du Mercredi 23 mai : « Informatique et Société
 \, Mathématiques\, Modélisation »\n-\nLieu : médiathèque de l’Écol
 e Centrale Marseille (voir plan).\n-\n[bleu]PROGRAMME[/bleu]\n\n9h30: Info
 rmatique et Société par Gilles Dowek (Inria\, ENS Paris-Saclay)\n\n11h: 
 Le théorème d’incomplétude de Gödel par Laurent Régnier (I2M\, Aix-
 Marseille Université)\n\n12h30: déjeuner\n\n14h: La mécanisation du rai
 sonnement mathématique par Laurent Thery (Inria)\n\n15h30: La modélisati
 on des instruments de musique en acoustique par Christophe Vergez (LMA)\n\
 n17h: fin de la journée\n-\n-\n-\nhttps://conf-mpci-2018.lis-lab.fr/?page
 _id=54
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR