Home Committees Registration Social Scientific Schedule Venue

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


ERC-logo.jpg EC-H2020-logo.jpg UB-logo.jpg IMUB-logo.jpg