Future ICALPs

The International Colloquium on Automata, Languages and Programming (ICALP) is the main conference and annual meeting of the EATCS. This international conference was launched in 1972 and covers all aspects of theoretical computer science. ICALP customarily takes place during the second or third week of July.

Traditionally ICALP’s scientific program is split into two parts: Track A of the meeting corresponds to Algorithms, Complexity, and Games, and Track B to Automata, Logic, Semantics, and Theory of Programming. Since 2009, Track C is available on Foundations of Networks and multi-agent systems: Models, Algorithms and Information Management.

Typical topics discussed during recent ICALP conferences are: automata theory, computational complexity, computational geometry, computability, cryptography, data types and data structures, design and analysis of algorithms, foundations of databases, games and logic, logic programming, logic and semantics of programs, mathematical aspects of programming, models of concurrency, networked computation, parallel and distributed computing, quantum computing, type systems, theorem proving, verification and synthesis.

EATCS presents annually the Best EATCS Paper Award, the Best Student and best ICALP Paper Awards, all awarded at ICALP. Jointly with ACM SIGACT, EATCS awards annually the Gödel Prize for outstanding papers in the area of theoretical computer science. The award ceremony takes place alternately at ICALP and STOC (ACM Symposium on the Theory of Computing).

A list of the future ICALP conferences and workshops follows below.

2020 / Saarbrücken, Germany

Submission deadline: February 18, 2020
Workshops: July 6-7, 2020
Main conference: July 8-11, 2020

2021 / Glasgow, UK

Submission deadline (tentative): TBA
Workshops: TBA
Main conference: July 12-16, 2021

e-max.it: your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.