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/2020/newsitem/10481/13
 ---16-January-2020-CSL-2020-Computer-Science-Logic
 -Barcelona-Spain
DTSTAMP:20190108T142641
SUMMARY:CSL 2020: Computer Science Logic, Barcelon
 a, Spain
DTSTART;VALUE=DATE:20200113
DTEND;VALUE=DATE:20200116
LOCATION:Barcelona, Spain
DESCRIPTION:Computer Science Logic (CSL) is the an
 nual conference of the European Association for Co
 mputer Science Logic (EACSL). It is an interdiscip
 linary conference, spanning across both basic and 
 application oriented research in mathematical logi
 c and computer science.  Authors are invited to su
 bmit contributed papers of no more than 15 pages i
 n LIPIcs style (not including references), present
 ing unpublished work fitting the scope of the conf
 erence. Submitted papers must be in English and mu
 st provide sufficient detail to allow the Programm
 e Committee to assess the merits of the paper. Ful
 l proofs may appear in a clearly marked technical 
 appendix which will be read at the reviewers' disc
 retion. Authors are strongly encouraged to include
  a well written introduction which is directed at 
 all members of the PC.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Computer 
 Science Logic (CSL) is the annual conference of th
 e European Association for Computer Science Logic 
 (EACSL). It is an interdisciplinary conference, sp
 anning across both basic and application oriented 
 research in mathematical logic and computer scienc
 e.</p>\n</div><div>\n  <p>Authors are invited to s
 ubmit contributed papers of no more than 15 pages 
 in LIPIcs style (not including references), presen
 ting unpublished work fitting the scope of the con
 ference. Submitted papers must be in English and m
 ust provide sufficient detail to allow the Program
 me Committee to assess the merits of the paper. Fu
 ll proofs may appear in a clearly marked technical
  appendix which will be read at the reviewers' dis
 cretion. Authors are strongly encouraged to includ
 e a well written introduction which is directed at
  all members of the PC.</p>\n</div>
URL:http://www.cs.upc.edu/csl2020/
CONTACT:Maribel Fernandez at Maribel.Fernandez at 
 kcl.ac.uk
CONTACT:Anca Muscholl at anca at labri.fr
END:VEVENT
END:VCALENDAR