News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 25 - 28 January 2021
Location: Virtual
Deadline: Wednesday 1 July 2020

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.

Invited Speakers:
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

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.

For more information, see https://www.eacsl.org/?page_id=62 or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.