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:6061@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220504T103000
DTEND;TZID=Europe/Paris:20220504T120000
DTSTAMP:20241120T200905Z
URL:https://www.i2m.univ-amu.fr/evenements/anyway-maths-are-merely-computi
 ng/
SUMMARY:Remy Cerda (I2M\, Aix-Marseille Université): Anyway\, maths are me
 rely computing
DESCRIPTION:Remy Cerda: From the 1930s onwards\, the beginnings of computer
  science completely renewed mathematical logic by relating it\, in a rathe
 r surprising manner\, to a notion of computation. I will present an outlin
 e of this approach (called the Curry-Howard correspondence between program
 s and proofs)\, and some of its contemporary developments.\n\n[su_spacer s
 ize="10"]
CATEGORIES:Séminaire,Doctorant⋅es de l'I2M
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:DAYLIGHT
DTSTART:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR