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:7178@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20181204T170000
DTEND;TZID=Europe/Paris:20181204T203000
DTSTAMP:20241120T203441Z
URL:https://www.i2m.univ-amu.fr/evenements/laurent-regnier-dune-logique-a-
 lautre/
SUMMARY:Laurent Regnier (I2M\, Aix-Marseille Université): D’une logique 
 à l’autre
DESCRIPTION:Laurent Regnier: Pour les grecs antiques\, la logique est la sc
 ience du raisonnement et de la vérité \; au début du XXème les mathém
 aticiens vont se l'approprier pour tenter de comprendre et maîtriser l'im
 mensité de l'univers mathématique moderne. Comment ces questions philoso
 phiques ont-elles pu produire les concepts fondateurs de l'informatique\, 
 l'une des sciences et industries majeures du XXIème siècle ?\nLaurent Re
 gnier est professeur de mathématiques à Aix-Marseille Université et mem
 bre fondateur de l'équipe de logique de l'I2M. Il a fait sa thèse en th
 éorie de la démonstration avec Jean-Yves Girard en 1992 à Paris 7\, dan
 s laquelle il a travaillé sur les développements de la logique linéaire
 . Il travaille depuis sur les liens entre la logique mathématique et l'in
 formatique théorique et notamment comment utiliser la logique pour constr
 uire des modèles abstraits des langages de programmation.\nhttps://vimeo.
 com/314743657\nlien : théâtre Joliette
CATEGORIES:Exposé Treize minutes Marseille
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR