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/2023/newsitem/13590/13
 ---17-February-2023-Computer-Science-Logic-2023-CS
 L-23-Warsaw-Poland
DTSTAMP:20220429T231332
SUMMARY:Computer Science Logic 2023 (CSL’23), Wars
 aw, Poland
DTSTART;VALUE=DATE:20230213
DTEND;VALUE=DATE:20230217
LOCATION:Warsaw, Poland
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'23 will be held on Fe
 bruary 13 - 16, 2023, in Warsaw, Poland, with sate
 llite workshops on February 17. It is planned as a
 n on-site event, with support for remote presence 
 for those participants who are unable to come for 
 pandemic reasons. Keynote speakers: Claudia Faggia
 n (Université de Paris, France), Nina Gierasimczuk
  (Danish Technical University, Denmark), Dale Mill
 er (Inria Saclay, France), Michał Pilipczuk Pilipc
 zuk (University of Warsaw, Poland) and Davide Sang
 iorgi (University of Bologna, Italy).  Authors are
  invited to submit contributed papers of no more t
 han 15 pages in LIPIcs style (not including append
 ices or references), presenting unpublished work f
 itting the scope of the conference. Papers may not
  be submitted concurrently to another conference w
 ith refereed proceedings. The PC chairs should be 
 informed of closely related work submitted to a co
 nference or a journal.  Submitted papers must be i
 n English and must provide sufficient detail to al
 low the Programme Committee to assess the merits o
 f the paper. Full proofs may appear in a clearly m
 arked technical appendix which will be read at the
  reviewers' discretion. Authors are strongly encou
 raged to include a well written introduction which
  is directed at all members of the PC. The paper s
 hould be submitted via Easychair.
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  <p>CSL'23 will be held on February 13
  - 16, 2023, in Warsaw, Poland, with satellite wor
 kshops on February 17. It is planned as an on-site
  event, with support for remote presence for those
  participants who are unable to come for pandemic 
 reasons. Keynote speakers: Claudia Faggian (Univer
 sité de Paris, France), Nina Gierasimczuk (Danish 
 Technical University, Denmark), Dale Miller (Inria
  Saclay, France), Michał Pilipczuk Pilipczuk (Univ
 ersity of Warsaw, Poland) and Davide Sangiorgi (Un
 iversity of Bologna, Italy).</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 appendices or references), presenting unpub
 lished work fitting the scope of the conference. P
 apers may not be submitted concurrently to another
  conference with refereed proceedings. The PC chai
 rs should be informed of closely related work subm
 itted to a conference or a journal.</p>\n  <p>Subm
 itted papers must be in English and must provide s
 ufficient detail to allow the Programme Committee 
 to assess the merits of the paper. 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. The paper should be submitted via <a hr
 ef="https://easychair.org/conferences/?conf=csl202
 3" target="_blank">Easychair</a>.</p>\n</div>
URL:https://csl2023.mimuw.edu.pl/
END:VEVENT
END:VCALENDAR