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:
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.
\n\nInvited Speakers:
\n - Assia Ma
hboubi, INRIA, Rennes, France
\n - Sophia Dros
sopoulou, Imperial College, London, UK
\n - Li
nda Westrick, Penn State University, State College
, PA, USA
\n - Sylvain Schmitz, Université de
Paris, Paris, France
\n - Bartek Klin, Uniwers
ytet Warszawski, Warsawa, Poland
Due t o the global coronavirus pandemic, CSL 2021 will b e held as a virtual meeting.
Authors are invited to submit contributed papers o f no more than 15 pages in LIPIcs style (not inclu ding references), presenting unpublished work fitt ing the scope of the conference. Full proofs may a ppear in a clearly marked technical appendix which will be read at the reviewers' discretion. Author s are strongly encouraged to include a well writte n introduction which is directed at all members of the PC.
\n\nPapers may not be submitted c oncurrently to another conference with refereed pr oceedings. The PC chairs should be informed of clo sely related work submitted to a conference or a j ournal.