EATCS International Colloquium on Automata, Languages and Programming (ICALP)
ICALP joined SafeToC http://safetoc.org/ (code of conduct here)
The International Colloquium on Automata, Languages and Programming (ICALP) is the flagship conference and annual meeting of the EATCS. The 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.
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. Typical topics are: algorithmic aspects of network economics, approximation and online algorithms, automata theory, combinatorial optimisation, computational complexity, design and analysis of algorithms, formal aspects of security, foundations of databases, games and logic, logic and semantics of programs, mathematical aspects of programming, models of concurrent, reactive and stochastic systems, networked computation, parallel and distributed computing, quantum computing, randomness in computing, type systems, 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 SIGLOG, EACSL and the Kurt Goedel Society, EATCS presents the Alonzo Church award. Jointly with ACM SIGACT, EATCS awards the Gödel Prize for outstanding papers in the area of theoretical computer science. The award ceremony takes place alternately at ICALP and STOC.
The proceedings of ICALP are published since 2015 in the open-access series Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LIPIcs) and are available at https://dblp.org/db/conf/icalp/index.html.
A brief history of the ICALP conferences and workshops follows below.
 |
|
 |
|
2024 / Tallinn, Estonia
Joint Invited Speakers:
- Edith Elkind
- Stephanie Weirich
Invited Speakers:
- Anuj Dawar
- Danupon Nanongkai
- Merav Parter
|
|
 |
|
 |
|
|
|
|
2015 / Kyoto, Japan
Invited Speakers:
- Ken Kawarabayashi, NII, Japan
- Valerie King, University of Victoria, Canada
- Thomas Moscibroda, MSR Asia, China
- Anca Muscholl, Universitﾃｨ Bordeaux, France (Joint with LICS)
- Peter O'Hearn, Facebook, UK (Joint with LICS)
Invited Tutorial Speakers (Joint with LICS)
- Piotr Indyk, MIT, USA
- Andrew Pitts, University of Cambridge, UK
- Geoffrey Smith, Florida International University, USA
Masterclass speaker
- Ryuhei Uehara, JAIST, Japan
|
|
|
|
|
|
|
|
|
1974 / Saarbrücken, Germany
|
|
|
|
|
|
