The main conference is the 35th EACSL Annual Conference on Computer Science Logic 2027 (CSL 2027), held on 26-29 January 2027. the workshops Fixed Points in Computer Science (FICS 2027) on 25-26 January 2027, and Logic Mentoring Workshop (LMW 2027) on 25 January 2027 are co--located with CSL 2027. (2027)

Website: https://csl2027.github.io/
Dates: 25 Jan - 29 Jan
City: Brighton
Host institution: University of Sussex