Please note that this newsitem has been archived, and may contain outdated information or links.
19 - 23 February 2024, Computer Science Logic 2024 (CSL 2024), Naples, Italy
Computer Science Logic (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'24 is planned as an on-site event, with support for remote presentations.
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.
Submitted papers must be in English and must provide sufficient detail to allow the Program Committee to assess the merits of the paper. 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 papers should be submitted via Easychair. Please note that the deadline listed is the deadline for abstracts; the deadline for full papers is July 31st.
Please note that this newsitem has been archived, and may contain outdated information or links.