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/2015/newsitem/6809/7-1
 0-September-2015-Computer-Science-Logic-2015-CSL-2
 015-Berlin-Germany
DTSTAMP:20150322T000000
SUMMARY:Computer Science Logic 2015 (CSL 2015), Be
 rlin, Germany
DTSTART;VALUE=DATE:20150907
DTEND;VALUE=DATE:20150910
LOCATION:Berlin, Germany
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.  
  On 11-12 september two co-located events will tak
 e place:  - The 11th International Workshop on Fix
 ed Points in Computer Science (FICS'15)  - YuriFes
 t, a celebration of Yuri Gurevich's 75th birthday 
 with a symposium in his honour   For more informat
 ion, see http://logic.las.tu-berlin.de/csl2015/   
 We invite original research in the area of logic i
 n computer science, very broadly construed. Abstra
 ct submission deadline is 3 April 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Computer Science Logic (CSL) is the annual co
 nference of the European\n        Association for 
 Computer Science Logic (EACSL). The conference is\
 n        intended for computer scientists whose re
 search activities involve\n        logic, as well 
 as for logicians working on  issues significant fo
 r\n        computer science.\n      </p>\n      <p
 >On 11-12 september two co-located events will tak
 e place:<br/>\n        - The 11th  International W
 orkshop on Fixed Points in Computer Science\n     
    (FICS'15)<br/>\n        - YuriFest, a celebrati
 on of Yuri Gurevich's 75th birthday with a\n      
      symposium in his honour\n      </p>\n    \n  
     \n      <p>For more information, see\n        
 <a target="_blank" href="http://logic.las.tu-berli
 n.de/csl2015/">http://logic.las.tu-berlin.de/csl20
 15/</a>\n      </p>\n    </div><div>\n      <p>\n 
        We invite original research in the area of 
 logic in computer science, very broadly construed.
  \n        Abstract submission deadline is 3 April
  2015.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6809/7-1
 0-September-2015-Computer-Science-Logic-2015-CSL-2
 015-Berlin-Germany
END:VEVENT
END:VCALENDAR