Home
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 |
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
![]() |
![]() |
![]() |
![]() |