14 - 19 February 2022, CSL 2022: Computer Science Logic, Göttingen (Germany) & Virtual
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'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Invited speakers: Annabelle McIver Macquarie (University, Sydney, Australia), Udi Boker (IDC Herzliya, Israel), Martin Escardo (University of Birmingham, UK), Rosalie Iemhoff (Utrecht University, The Netherlands) and Karen Lange (Wellesley College, USA).
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 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.