Submission Instructions


(add to calendar)


Papers and abstracts must be submitted via EasyChair.

Submitted papers must be in English and must provide sufficient detail to allow the Programme 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 CSL 2018 conference proceedings will be published in the 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 previously not published 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 are not allowed.


Selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science.