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/2024/newsitem/14350/19
 ---23-February-2024-Computer-Science-Logic-2024-CS
 L-2024-Naples-Italy
DTSTAMP:20230704T174623
SUMMARY:Computer Science Logic 2024 (CSL 2024), Na
 ples, Italy
DTSTART;VALUE=DATE:20240219
DTEND;VALUE=DATE:20240223
LOCATION:Naples, Italy
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'24 is planned as an o
 n-site event, with support for remote presentation
 s.  Authors are invited to submit contributed pape
 rs of no more than 15 pages in LIPIcs style (not i
 ncluding references), presenting unpublished work 
 fitting the scope of the conference. Papers may no
 t be submitted concurrently to another conference 
 with refereed proceedings. The PC chairs should be
  informed of closely related work submitted to a c
 onference or a journal.  Submitted papers must be 
 in English and must provide sufficient detail to a
 llow the Program Committee to assess the merits of
  the paper. Full proofs may appear in a clearly ma
 rked technical appendix which will be read at the 
 reviewers’ discretion. Authors are strongly encour
 aged to include a well written introduction which 
 is directed at all members of the PC. The papers s
 hould be submitted via Easychair. Please note that
  the deadline listed is the deadline for abstracts
 ; the deadline for full papers is July 31st.
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'24 is planned as an on-site ev
 ent, with support for remote presentations.</p>\n<
 /div><div>\n  <p>Authors are invited to submit con
 tributed papers of no more than 15 pages in LIPIcs
  style (not including references), presenting unpu
 blished work fitting the scope of the conference. 
 Papers may not be submitted concurrently to anothe
 r conference with refereed proceedings. The PC cha
 irs should be informed of closely related work sub
 mitted to a conference or a journal.</p>\n  <p>Sub
 mitted papers must be in English and must provide 
 sufficient detail to allow the Program Committee t
 o assess the merits of the paper. Full proofs may 
 appear in a clearly marked technical appendix whic
 h will be read at the reviewers’ discretion. Autho
 rs are strongly encouraged to include a well writt
 en introduction which is directed at all members o
 f the PC. The papers should be submitted via Easyc
 hair. Please note that the deadline listed is the 
 deadline for abstracts; the deadline for full pape
 rs is July 31st.</p>\n</div>
URL:https://csl2024.github.io/Home/
END:VEVENT
END:VCALENDAR