Conference · EACSL Annual Conference on Computer Science Logic
CSL 2027
Official page- Type
- Conference
- Organisation
- EACSL Annual Conference on Computer Science Logic
- Location
- Brighton, United Kingdom
- Takes place
- 25 January 2027 to 29 January 2027
- Found
- 26 September 2026
About this listing
EACSL Annual Conference on Computer Science Logic. Held in Brighton, United Kingdom. 35th edition, held at the University of Sussex Falmer campus. Topics: logic, semantics, type systems. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).