Conference · ACM/IEEE Symposium on Logic in Computer Science
LICS 2027
Official page- Type
- Conference
- Organisation
- ACM/IEEE Symposium on Logic in Computer Science
- Location
- Montreal, Canada
- Takes place
- 21 June 2027 to 24 June 2027
- Found
- 26 September 2026
About this listing
ACM/IEEE Symposium on Logic in Computer Science. Held in Montreal, Canada. 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).