Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning both basic and application oriented research in mathematical logic and computer science.
The 29th edition in the series, CSL 2021, was organised by the Faculty of Mathematics and Physics (FMF) at the University of Ljubljana as a virtual meeting.
Recordings of most CSL 2021 sessions can be found on the CSL 2021 YouTube channel
Important dates
- Paper submission: July 1, 2020 (AoE)
- Notification: September 25, 2020
- Speaker registration deadline: December 14, 2020
- Non-speaker registration deadline: January 11, 2021
- Conference: January 25-28, 2021
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
Sponsors
Contact
For further information about CSL 2021, please contact csl2021@fmf.uni-lj.si