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:7761@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160828T000000
DTEND;TZID=Europe/Paris:20160903T000000
DTSTAMP:20241216T084027Z
URL:https://www.i2m.univ-amu.fr/evenements/25th-eacsl-annual-conference-on
 -computer-science-logic-2016/
SUMMARY:Conference (Campus St Charles\, Marseille): 25th EACSL Annual Confe
 rence on Computer Science Logic 2016
DESCRIPTION:Conference: 25th EACSL Annual Conference on Computer Science Lo
 gic\n-\nThe conference is intended for computer scientists whose research 
 activities involve logic\, as well as for logicians working on issues sign
 ificant for computer science.\n-\nConférence du 29 août au 1er septembre
  2016 :\n- Computer Science Logic\n-\nWorkshops le 28 août 2016 et du 2 a
 u 3 septembre 2016 :\n- PLRR: Parametricity\, Logical Relations and Realiz
 ability\n- LCC'16: Logic and Computational Complexity 2016\n- QSLC: Quanti
 tative Semantics of Logic and Computation\n-\nOrganisateurs :\n- Emmanuel 
 BEFFARA – I2M\n- Benjamin MONMEGE – LIF\n- Laurent REGNIER – I2M (co
 -chair)\n- Pierre-Alain REYNIER – LIF\n- Luigi SANTOCANALE – LIF\n- Je
 an-Marc TALBOT – LIF (co-chair)\n- Lionel VAUX – I2M\n-\nPartenaires :
 \n\n- Aix-Marseille Université (AMU)\n- Centre National de la Recherche S
 cientifique (CNRS)\n- European Association for Computer Science Logic (EAC
 SL)\n- Institut de Mathématiques de Marseille (I2M)\n- LabEx Archimède\n
 - Laboratoire d'Informatique Fondamentale (LIF)\n\nSite web du colloque&nb
 sp\;
CATEGORIES:Colloque
LOCATION:Saint-Charles\, Campus Saint-Charles\, Marseille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus Saint-Charles\, Mars
 eille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR