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/current/newsitem/15665
 /23---28-February-2026-Computer-Science-Logic-2026
 -CSL-2026-Paris-France
DTSTAMP:20250602T140252
SUMMARY:Computer Science Logic 2026 (CSL 2026), Pa
 ris, France
DTSTART;VALUE=DATE:20260223
DTEND;VALUE=DATE:20260228
LOCATION:Paris, France
DESCRIPTION:CSL is the annual conference of the Eu
 ropean Association for Computer Science Logic (EAC
 SL). It is an interdisciplinary conference, spanni
 ng across both basic and application oriented rese
 arch in mathematical logic and computer science.  
 CSL 2026 is the 34th edition of the conference and
  will be held in Paris on the 23-28 February 2026 
 and is organised by the Logic and Computation team
  of the LIPN of Sorbonne Paris Nord University.  A
 uthors are invited to submit contributed papers of
  no more than 15 pages in LIPIcs style (not includ
 ing appendices or references), presenting unpublis
 hed work fitting the scope of the conference. Pape
 rs may not be submitted concurrently to another co
 nference with refereed proceedings. The PC chairs 
 should be informed of closely related work submitt
 ed to a conference or a journal.  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. T
 he paper should be submitted via Easychair.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CSL is th
 e annual conference of the European Association fo
 r Computer Science Logic (<a href="https://www.eac
 sl.org/" target="_blank" rel="noopener">EACSL</a>)
 . It is an interdisciplinary conference, spanning 
 across both basic and application oriented researc
 h in mathematical logic and computer science.&nbsp
 ; CSL 2026 is the 34th edition of the conference a
 nd will be held in Paris on the 23-28 February 202
 6 and is organised by the Logic and Computation te
 am of the LIPN of Sorbonne Paris Nord University.<
 /p>\n</div><div>\n  <p>Authors are invited to subm
 it contributed papers of no more than 15 pages in 
 <a href="https://submission.dagstuhl.de/series/det
 ails/LIPIcs#author" target="_blank" rel="noopener"
 >LIPIcs style</a> (not including appendices or ref
 erences), presenting unpublished work fitting the 
 scope of the conference. Papers may not be submitt
 ed concurrently to another conference with referee
 d proceedings. The PC chairs should be informed of
  closely related work submitted to a conference or
  a journal.</p>\n  <p>Submitted papers must be in 
 English and must provide sufficient detail to allo
 w the Programme Committee to assess the merits of 
 the paper. Full proofs may appear in a clearly mar
 ked technical appendix which will be read at the r
 eviewers' discretion. Authors are strongly encoura
 ged to include a well written introduction which i
 s directed at all members of the PC. The paper sho
 uld be submitted via <a href="https://easychair.or
 g/conferences/?conf=csl2026" target="_blank" rel="
 noopener">Easychair</a>.</p>\n</div>
URL:https://csl2026.github.io/
END:VEVENT
END:VCALENDAR