Home Committees Call for Papers Venue
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
Author notification: October 14, 2019
Conference dates: January 13-16, 2020