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/2018/newsitem/9532/4--
 -7-September-2018-Computer-Science-Logic-2018-CSL-
 2018-Birmingham-England
DTSTAMP:20171212T000708
SUMMARY:Computer Science Logic 2018 (CSL 2018), Bi
 rmingham, England
DTSTART;VALUE=DATE:20180904
DTEND;VALUE=DATE:20180907
LOCATION:Birmingham, England
DESCRIPTION:The Conference Computer Science Logic 
 (CSL) is the annual conference of the European Ass
 ociation for Computer Science Logic (EACSL). It is
  an interdisciplinary conference, spanning across 
 both basic and application oriented research in ma
 thematical logic and computer science. CSL 2018 wi
 ll be the 27th edition in the series. It will be o
 rganised by the School of Computer Science of the 
 University of Birmingham.  Submission Submissions 
 will be through EasyChair. Proceedings will be pub
 lished in the Leibniz International Proceedings in
  Informatics. After the conference, selected paper
 s will be invited to a special issue of the online
  open access journal Logical Methods in Computer S
 cience.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Confe
 rence Computer Science Logic (CSL) is the annual c
 onference of the European Association for Computer
  Science Logic (EACSL). It is an interdisciplinary
  conference, spanning across both basic and applic
 ation oriented research in mathematical logic and 
 computer science. CSL 2018 will be the 27th editio
 n in the series. It will be organised by the Schoo
 l of Computer Science of the University of Birming
 ham.</p>\n</div><div>\n  <p>Submission Submissions
  will be through EasyChair. Proceedings will be pu
 blished in the Leibniz International Proceedings i
 n Informatics. After the conference, selected pape
 rs will be invited to a special issue of the onlin
 e open access journal Logical Methods in Computer 
 Science.</p>\n</div>
URL:http://events.cs.bham.ac.uk/csl18/
END:VEVENT
END:VCALENDAR