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:5863@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221125T160000
DTEND;TZID=Europe/Paris:20221125T170000
DTSTAMP:20241124T190939Z
URL:https://www.i2m.univ-amu.fr/evenements/pourquoi-raconter-des-mathemati
 ques-a-un-ordinateur-par-patrick-massot/
SUMMARY:Patrick Massot (Université Paris-Saclay): Pourquoi raconter des ma
 thématiques à un ordinateur ?
DESCRIPTION:Patrick Massot: De plus en plus de mathématiciens s'amusent en
  expliquant des mathématiques aux ordinateurs via des logiciels appelés 
 assistants de preuves. Dans cet exposé j'expliquerai à quoi ressemble ce
  processus\, dit de formalisation\, quel genre de choses il nous apprend e
 t comment il pourrait même s'avérer utile (en notre sens habituel du mot
  « utile »).\nPatrick MASSOT (Laboratoire de Mathématiques d'Orsay in U
 niversité Paris-Saclay)\n\n\nÀ titre exceptionnel\, l'exposé du colloqu
 ium sera précédé d'un TP de découverte des maths formalisées de 10h 
 à 13h dans la salle d'informatique 5-401 (Bâtiment 5 (grand bâtiment)\
 , escalier 2\, étage 4\, bloc A) à St Charles.\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/10/Patrick_Massot.png
CATEGORIES:Colloquium,Hybrid
LOCATION:Saint-Charles - FRUMAM  (2ème étage)\, 3 Place Victor Hugo\, Mar
 seille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3 Place Victor Hugo\, Marse
 ille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles - FRUMAM  (
 2ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR