BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2016/newsitem/7212/29-
 August---1-September-2016-25th-EACSL-Annual-Confer
 ence-on-Computer-Science-Logic-CSL-2016-Marseille-
 France-
DTSTAMP:20160225T000000
SUMMARY:25th EACSL Annual Conference on Computer S
 cience Logic (CSL 2016), Marseille, France.
DTSTART;VALUE=DATE:20160829
DTEND;VALUE=DATE:20160903
LOCATION:Marseille, France.
DESCRIPTION:Computer Science Logic (CSL) is the an
 nual conference of the European Association for Co
 mputer Science Logic (EACSL). The conference is in
 tended for computer scientists whose research acti
 vities involve logic, as well as for logicians wor
 king on issues significant for computer science.  
   Three affiliated workshops will be held as co-lo
 cated events in the days following the conference:
  LCC'16: Logic and Computational Complexity 2016 (
 September 2 and 3)  PLRR: Parametricity, Logical R
 elations and Realizability (September 2)  QSLC: Qu
 antitative Semantics of Logic and Computation (Sep
 tember 2 and 3)   For more information see http://
 csl16.lif.univ-mrs.fr/   Authors are invited to su
 bmit papers of no more than 15 pages in LIPIcs sty
 le (including references) presenting work not prev
 iously published, fitting the scope of the confere
 nce. Abstract submission deadline: April 8, 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Computer Science Logic (CSL) is the annual co
 nference of the European Association for Computer 
 Science Logic (EACSL). The conference is intended 
 for computer scientists whose research activities 
 involve logic, as well as for logicians working on
  issues significant for computer science.\n      <
 /p>\n      <p>\n        Three affiliated workshops
  will be held as co-located events in the\ndays fo
 llowing the conference:\n        LCC'16: Logic and
  Computational Complexity 2016 (September 2 and 3)
 <br/>\n        PLRR: Parametricity, Logical Relati
 ons and Realizability (September 2)<br/>\n        
 QSLC: Quantitative Semantics of Logic and Computat
 ion (September 2 and 3)\n      </p>\n    \n      \
 n      <p>For more information see\n        <a tar
 get="_blank" href="http://csl16.lif.univ-mrs.fr/">
 http://csl16.lif.univ-mrs.fr/</a>\n      </p>\n   
  </div><div>\n      <p>\n        Authors are invit
 ed to submit papers of no more than 15 pages in LI
 PIcs\nstyle (including references) presenting work
  not previously published,\nfitting the scope of t
 he conference.\n        Abstract submission deadli
 ne: April 8, 2016.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7212/29-
 August---1-September-2016-25th-EACSL-Annual-Confer
 ence-on-Computer-Science-Logic-CSL-2016-Marseille-
 France-
END:VEVENT
END:VCALENDAR