CSL 2021

Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

The 29th edition in the series, CSL 2021, will be organised by the Faculty of Mathematics and Physics (FMF) at the University of Ljubljana as a virtual meeting.

Important dates

  • Paper submission: July 1, 2020 (AoE)
  • Notification: September 25, 2020
  • Early registration deadline: TBA
  • Conference: January 25-28, 2021

Invited speakers





For further information about CSL 2021, please contact csl2021@easychair.org