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:4931@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20231025T000000 DTEND;TZID=Europe/Paris:20231027T000000 DTSTAMP:20240524T072506Z URL:https://www.i2m.univ-amu.fr/evenements/towards-a-linear-logic-handbook -2023/ SUMMARY: (...): Towards a Linear Logic Handbook 2023 DESCRIPTION:: \n\nWORKSHOP\n\nTowards a Linear Logic Handbook\nGroupe de tr avail pour un manuel de Logique Linéaire\n\n25 - 27 October 2022\n\n  \;\n\n\nOrganizer:\nLionel Vaux Auclair (I2M\, Aix-marseille Université)\ n[su_spacer size="10"]\nDescription\n\n\n\n\n\n\n\n\nThis meeting will gat her a small group of researchers among the Linear Logic International Rese arch Network\, involved in a project to write a Handbook of Linear Logic.\ nThe purpose of the meeting is to coordinate the efforts within this proje ct\, in order to advance the current state of the book.\n\n\n\nCette renco ntre réunira un petit groupe de chercheurs de l’IRN de Logique Linéair e\, impliqués dans le projet de rédaction d’un manuel de Logique Liné aire.\nLe but de la rencontre est de coordonner les efforts au sein du pro jet\, dans le but d’avancer l’état courant du livre.\n\n\n\n\n\n\n[su _spacer size="10"]\n\nParticipants\n\nThomas Ehrhard (IRIF\, Université P aris Cité)\nOlivier Laurent (LIP – ENS Lyon)\nLaurent Regnier (Aix-Mars eille Université)\nAlexis Saurin (IRIF\, Université Paris Cité)\nLorenz o Tortora de Falco (University of Roma 3)\nLionel Vaux Auclair (Aix-Marsei lle Université)\n[su_spacer size="10"]\n\n\n\n\n\n\n\nSPONSOR \n\n\n\n\n \n\n\n\n\n\n \n\n\n\n\n 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:20230326T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR