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/2021/newsitem/11574/25
 ---28-January-2021-Computer-Science-Logic-CSL-21-V
 irtual
DTSTAMP:20201119T145037
SUMMARY:Computer Science Logic (CSL'21), Virtual
DTSTART;VALUE=DATE:20210125
DTEND;VALUE=DATE:20210128
LOCATION:Virtual
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.  Invited Speakers:  - Assi
 a Mahboubi, INRIA, Rennes, France  - Sophia Drosso
 poulou, Imperial College, London, UK  - Linda West
 rick, Penn State University, State College, PA, US
 A  - Sylvain Schmitz, Université de Paris, Paris, 
 France  - Bartek Klin, Uniwersytet Warszawski, War
 sawa, Poland  Due to the global coronavirus pandem
 ic, CSL 2021 will be held as a virtual meeting.  A
 uthors are invited to submit contributed papers of
  no more than 15 pages in LIPIcs style (not includ
 ing references), presenting unpublished work fitti
 ng the scope of the conference. Full proofs may ap
 pear in a clearly marked technical appendix which 
 will be read at the reviewers' discretion. Authors
  are strongly encouraged to include a well written
  introduction which is directed at all members of 
 the PC.  Papers may not be submitted concurrently 
 to another conference with refereed proceedings. T
 he PC chairs should be informed of closely related
  work submitted to a conference or a journal.
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\n  <p>Invited Speakers:<br>\n  - Assia Ma
 hboubi, INRIA, Rennes, France<br>\n  - Sophia Dros
 sopoulou, Imperial College, London, UK<br>\n  - Li
 nda Westrick, Penn State University, State College
 , PA, USA<br>\n  - Sylvain Schmitz, Université de 
 Paris, Paris, France<br>\n  - Bartek Klin, Uniwers
 ytet Warszawski, Warsawa, Poland</p>\n\n  <p>Due t
 o the global coronavirus pandemic, CSL 2021 will b
 e held as a virtual meeting.</p>\n</div><div>\n  <
 p>Authors are invited to submit contributed papers
  of no more than 15 pages in LIPIcs style (not inc
 luding references), presenting unpublished work fi
 tting the scope of the conference. Full proofs may
  appear in a clearly marked technical appendix whi
 ch will be read at the reviewers' discretion. Auth
 ors are strongly encouraged to include a well writ
 ten introduction which is directed at all members 
 of the PC.</p>\n\n  <p>Papers may not be submitted
  concurrently to another conference with refereed 
 proceedings. The PC chairs should be informed of c
 losely related work submitted to a conference or a
  journal.</p>\n</div>
URL:https://www.eacsl.org/?page_id=62
CONTACT:csl2021 at easychair.org
END:VEVENT
END:VCALENDAR