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:6978@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20190918T000000 DTEND;TZID=Europe/Paris:20190920T000000 DTSTAMP:20241120T202640Z URL:https://www.i2m.univ-amu.fr/evenements/realizability-workshop-2019-ren contre-de-realisabilite/ SUMMARY:Workshop (CIRM\, Luminy\, Marseille): Realizability Workshop 2019 ( Rencontre de Réalisabilité) DESCRIPTION:Workshop: In mathematical logic\, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Realizability (wiki)\n\n Schedule\nWedne sday 18 September:\n\n14:00-14:10 Welcome\n14:10-15:10 Krivine (slides)\n 15:20-16:20 Batmalle (slides)\n16:30-17:30 Miquey (slides)\n\nThursday 1 9 September:\n\n10:00-11:00 Karagila (slides)\n11:10-12:10 Blot (slides) \n\n12:10-15:00 Lunch\n15:00-15:50 Discussion session\n16:00-17:00 Ehrhard t\n\nFriday 20 September:\n\n10:00-11:00 Lepigre (slides)\n11:10-12:10 Ma nzonetto (slides)\n\n12:10-15:00 Lunch\n-\nOrganizers:\n- Laura Fontanell a (I2M\, Marseille)\n- Guillaume Geoffroy (I2M\, Marseille)\n- Lionel Vaux (I2M\, Marseille)\n\nSponsors:\n- FRUMAM\n- Institut de Mathématiques de Marseille (I2M)\n- LabEx Archimède\n-\nAutres liens:\n- Workshop Realiza bility 2018\n- Slides 2017 (Laura Fontanella)\n- CIRM\n\n \; ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 019/09/image_aglr-ldp-Axiome_du_choix-Realizability-wiki-x400.jpg CATEGORIES:Manifestation scientifique,Workshop LOCATION:Luminy - CIRM\, 163 Avenue de Luminy\, Marseille\, 13009\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - CIRM:geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20190331T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR