Future ICALPsThe 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.
|
