Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

25 - 28 January 2021, Computer Science Logic (CSL'21), Ljubljana, Slovenia

Date: 25 - 28 January 2021
Location: Ljubljana, Slovenia
Deadline: Wednesday 1 July 2020

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. 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.

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.