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/2022/newsitem/12542/14
 ---19-February-2022-CSL-2022-Computer-Science-Logi
 c-Göttingen-Germany-Virtual
DTSTAMP:20210617T154137
SUMMARY:CSL 2022: Computer Science Logic, Göttinge
 n (Germany) & Virtual
DTSTART;VALUE=DATE:20220214
DTEND;VALUE=DATE:20220219
LOCATION:Göttingen (Germany) & 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.  CSL'22 will be held on Fe
 bruary 14 - 19, 2022, in Göttingen, Germany. Curre
 ntly, we expect that the conference will be organi
 zed in a hybrid way: both with an in-presence comp
 onent and an online component. Invited speakers: A
 nnabelle McIver Macquarie (University, Sydney, Aus
 tralia), Udi Boker (IDC Herzliya, Israel), Martin 
 Escardo (University of Birmingham, UK), Rosalie Ie
 mhoff (Utrecht University, The Netherlands) and Ka
 ren Lange (Wellesley College, USA).  Authors are i
 nvited to submit contributed papers of no more tha
 n 15 pages in LIPIcs style (not including referenc
 es), presenting unpublished work fitting the scope
  of the conference. Papers may not be submitted co
 ncurrently to another conference with refereed pro
 ceedings. The PC chairs should be informed of clos
 ely related work submitted to a conference or a jo
 urnal.  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 <a href="https://www.eacsl.org/" target="_blank"
 >European Association for Computer Science Logic (
 EACSL)</a>. It is an interdisciplinary conference,
  spanning across both basic and application orient
 ed research in mathematical logic and computer sci
 ence.</p>\n\n  <p>CSL'22 will be held on February 
 14 - 19, 2022, in Göttingen, Germany. Currently, w
 e expect that the conference will be organized in 
 a hybrid way: both with an in-presence component a
 nd an online component. Invited speakers: Annabell
 e McIver Macquarie (University, Sydney, Australia)
 , Udi Boker (IDC Herzliya, Israel), Martin Escardo
  (University of Birmingham, UK), Rosalie Iemhoff (
 Utrecht University, The Netherlands) and Karen Lan
 ge (Wellesley College, USA).</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. Papers may not 
 be submitted concurrently to another conference wi
 th refereed proceedings. The PC chairs should be i
 nformed of closely related work submitted to a con
 ference or a journal.</p>\n\n  <p>Submitted papers
  must be in English and must provide sufficient de
 tail to allow the Programme Committee to assess th
 e merits of the paper. Full proofs may appear in a
  clearly marked technical appendix which will be r
 ead at the reviewers' discretion. Authors are stro
 ngly encouraged to include a well written introduc
 tion which is directed at all members of the PC.</
 p>\n</div>
URL:http://csl2022.uni-goettingen.de/
CONTACT:csl2022 at easychair.org
END:VEVENT
END:VCALENDAR