CSL 2020 will be the 28th edition in the series of Computer Science Logic (CSL), the annual conference of the European Association for Computer Science Logic (EACSL).

Important dates:

Submission deadline:	July 4, 2019, AoE
Author notification:	September 30, 2019
Early registration deadline:	December 5, 2019
Conference dates:	January 13-16, 2020

Invited speakers (see the program for more details):

Véronique Cortier, LORIA, France
Anuj Dawar, University of Cambridge, UK
Artur Jeż, University of Wroclaw, Poland
Delia Kesner, University Paris Diderot, France
Iddo Tzameret, Royal Holloway, UK

Sponsors