CSL 2021

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





For further information about CSL 2021, please contact csl2021@fmf.uni-lj.si