Image by edmondlafoto from Pixabay
CSL is the annual conference of the European Association for Computer Science Logic EACSL It is an interdisciplinary conference, spanning across both basic and application oriented research 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.
Topics of interest include, but are not limited to:
Submitted papers must be in English and must provide sufficient detail to allow the Program Committee to assess the merits of the paper. Authors must submit their papers as a single PDF file through the
CSL 2026 Easychair submission site at Easychair
Full proofs may appear 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.
The conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC (but not PC chairs) are allowed.
The submissions are double-blind:
We ask authors to declare conflicts with PC members when they submit their paper in Easychair.
At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.