Description: ### 33rd EACSL Annual Conference on ## Computer Science Logic 2025 {:refdef: style="text-align: center;"}  {: refdef} ### 10-14 February 2025, Amsterdam, Netherlands #### About CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and...
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 2025 will be held on the 10th-14th February 2025 and is hosted by the Vrije Universiteit Amsterdam.
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 through the CSL 2025 Easychair submission site at Easychair as a single PDF file. 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.