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:7292@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20180612T000000 DTEND;TZID=Europe/Paris:20180613T000000 DTSTAMP:20241120T203901Z URL:https://www.i2m.univ-amu.fr/evenements/realizability-workshop-2018-ren contre-de-realisabilite/ SUMMARY:Rencontre (CIRM\, Luminy\, Marseille): Realizability Workshop 2018 (Rencontre de Réalisabilité) DESCRIPTION:Rencontre: Cette rencontre vise à réunir des spécialistes de la réalisabilité et des domaines connexes de la logique et de l'informa tique.\nOrateurs :\n- Hadrien BATMALLE (IRIF\, Paris)\n- Valentin BLOT\n- Pierre HYVERNAT (LAMA\, Université Savoie Mont Blanc)\n- Jean Louis KRIVI NE (IRIF\, Paris)\n- Rodolphe LEPIGRE (INRIA\, Université Paris Saclay)\n - Étienne MIQUEY (IRIF\, Paris)\n- Thomas SEILLER (LIPN\, Villetaneuse)\n -\nOrganisateurs :\n- Laura FONTANELLA (I2M\, Marseille)\n- Guillaume GEOF FROY (I2M\, Marseille)\n-\nLiens :\n- Aix-Marseille Université (AMU)\n- C entre International de Rencontres Mathématiques (CIRM)\n- Institut de Mat hématiques de Marseille (I2M)\n \;\n\n\n\nRealizability (wiki)\n Sche dule \n\nTuesday 12 June:\n\n10:00-10:10 Welcome\n10:10-11:10 J.L. Krivine - A propos des modèles de réalisabilité de ZF (slides)\n11:20-12:20 H . Batmalle\n12:20-14:30 Lunch\n14:30-15:10 Discussion session\n15:20-16:20 T. Seiller\n16:30-17:30 V. Blot\n\nWednesday 13 June:\n\n10:00-11:00 P. H yvernat - Miscellaneous remarks about orthogonality (slides)\n11:10-12:10 R. Lepigre\n12:10-15:00 Lunch\n15:00-15:50 Discussion session\n16:00-17:0 0 E. Miquey - A sequent calculus with dependent types for classical arithm etic (slides)\n-\nOrganizers:\n– Laura Fontanella (I2M\, Marseille)\n – Guillaume Geoffroy (I2M\, Marseille)\n-\nLinks: \n- Slides 2017\n- CIR M\n\n \; ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 018/06/image_aglr-ldp-thesis-realisability_axioms-emmanuel_beffara-x500.jp g CATEGORIES:Manifestation scientifique,Rencontre(s) 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:20180325T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR