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/2014/newsitem/5416/14-
 18-July-2014-Twenty-Third-EACSL-Annual-Conference-
 on-Computer-Science-Logic-Twenty-Ninth-Annual-ACM-
 IEEE-Symposium-on-Logic-in-Computer-Science-CSL-LI
 CS-2014-Vienna-Austria
DTSTAMP:20131208T000000
SUMMARY:Twenty-Third EACSL Annual Conference on Co
 mputer Science Logic & Twenty-Ninth Annual ACM/IEE
 E Symposium on Logic in Computer  Science (CSL/LIC
 S 2014), Vienna, Austria
DTSTART;VALUE=DATE:20140714
DTEND;VALUE=DATE:20140718
LOCATION:Vienna, Austria
DESCRIPTION:CSL is the annual meeting of the Europ
 ean Association for Computer Science Logic (EACSL)
  intended for computer scientists whose research a
 ctivities involve logic, as well as for logicians 
 working on issues significant for computer science
 .   LICS is an annual international forum on theor
 etical and practical topics in computer science th
 at relate to logic.   The organizers of these two 
 series of meetings have chosen to join the 2014 ed
 itions of these meetings into a single event withi
 n the Federated Logic Conference (FLoC) that will 
 be part of the Vienna Summer of Logic 2014. Thus, 
 in 2014, these meetings will have one program comm
 ittee, one program, and one proceedings. No decisi
 on has been made to hold CSL and LICS jointly beyo
 nd 2014.   For more information, see and http://li
 i.rwth-aachen.de/lics/csl-lics14/  We invite submi
 ssions on topics that fit the themes of both confe
 rences. Title and Short Abstracts are due January 
 13, 2014.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>CSL i
 s the annual meeting of the European Association f
 or\n      Computer Science Logic (EACSL) intended 
 for computer scientists\n      whose research acti
 vities involve logic, as well as for\n      logici
 ans working on issues significant for computer sci
 ence.\n      </p>\n      <p>LICS is an annual inte
 rnational forum on theoretical and\n      practica
 l topics in computer science that relate to logic.
 \n      </p>\n      <p>The organizers of these two
  series of meetings have chosen to\n      join the
  2014 editions of these meetings into a single eve
 nt\n      within the Federated Logic Conference (F
 LoC) that will be part\n      of the Vienna Summer
  of Logic 2014. Thus, in 2014, these\n      meetin
 gs will have one program committee, one program, a
 nd one\n      proceedings. No decision has been ma
 de to hold CSL and LICS\n      jointly beyond 2014
 .\n      </p>\n    \n      \n      <p>For more inf
 ormation, see\n        and <a target="_blank" href
 ="http://lii.rwth-aachen.de/lics/csl-lics14/">http
 ://lii.rwth-aachen.de/lics/csl-lics14/</a>\n      
 </p>\n    </div><div>\n      <p>We invite submissi
 ons on topics that fit the themes of both\n      c
 onferences. Title and Short Abstracts are due Janu
 ary 13, 2014.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5416/14-
 18-July-2014-Twenty-Third-EACSL-Annual-Conference-
 on-Computer-Science-Logic-Twenty-Ninth-Annual-ACM-
 IEEE-Symposium-on-Logic-in-Computer-Science-CSL-LI
 CS-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR