Conference · International Colloquium on Automata, Languages and Programming
ICALP 2027
Official page- Type
- Conference
- Organisation
- International Colloquium on Automata, Languages and Programming
- Location
- Kraków, Poland
- Submissions close
- 16 September 2026
- Takes place
- 5 July 2027 to 9 July 2027
- Found
- 26 September 2026
About this listing
International Colloquium on Automata, Languages and Programming. Submissions close 2026-09-16. Held in Kraków, Poland. 54th edition, the European Association for Theoretical Computer Science flagship. Track B covers automata, logic, semantics, and theory of programming: programming language semantics, program verification and synthesis, type systems, concurrency models, and formal aspects of security. Topics: logic, semantics, verification, type systems, concurrency. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).