|
ICALP is the flagship conference and annual meeting of the European Association for Theoretical Computer Science. It was launched in 1972 and covers the breadth of theoretical computer science.
The scientific programme is traditionally organized around two main tracks: Algorithms, Complexity, and Games, and Automata, Logic, Semantics, and Theory of Programming. Typical topics include algorithms, automata theory, computational complexity, logic, semantics, verification, type systems, models of computation, and related areas.
|