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

Invited Speakers:

  • Anuj Dawar
  • Danupon Nanongkai
  • Merav Parter

2023 / Paderborn, Germany

Invited Speakers:

  • Anna Karlin (University of Washington, USA)
  • Rasmus Kyng (ETH Zurich, Switzerland)
  • Rupak Majumdar (Max Planck Institute for Software Systems, Germany)
  • Thomas Vidick (California Institute of Technology, USA, and Weizmann Institute of Science, Israel)
  • James Worrell (University of Oxford, UK)

2022 / Paris, France (hybrid conference)

Invited Speakers:

  • Leslie Ann Goldberg (University of Oxford)
  • Madhu Sudan (Harvard University)
  • Albert Atserias (Universitat Politècnica de Catalunya)
  • Constantinos Daskalakis (MIT)
  • Stéphan Thomassé (Ecole Normale Supérieure de Lyon)
  • Santosh Vempala (Georgia Tech)

2021 / Glasgow, UK (virtual conference)

Invited Speakers:

  • Adi Shamir (Weizmann Institute of Science)
  • Toniann Pitassi (University of Toronto)
  • Andrei Bulatov (Simon Fraser University)
  • Keren Censor-Hillel (Technion)
  • David Woodruff (Carnegie Mellon University)
  • Christel Baier (Technical University of Dresden)

2020 / Saarbrücken, Germany (virtual conference)

Invited Speakers:

  • Andrew Yao (Tsinghua University)
  • Jerome Leroux (Bordeaux University)
  • Robert Krauthgamer (The Weizmann Institute of Science)
  • Virginia Vassilevska Williams (MIT)
  • Stefan Kiefer (Oxford University)
Link to the videos of the talks:

2019 / Patras, Greece

Invited Speakers:

2018 / Prague, Czech Republic

Invited Speakers:

2017 / Warsaw, Poland

Invited Speakers:

  • Mikołaj Bojańczyk (University of Warsaw, Poland)
  • Monika Henzinger (University of Vienna, Austria)
  • Ronitt Rubinfeld (MIT, USA and Tel Aviv University, Israel)
  • Mikkel Thorup (University of Copenhagen, Denmark)

2016 / Rome, Italy

Invited Speakers:

  • Subhash Khot (New York, USA)
  • Marta Z. Kwiatkowska (Oxford, UK)
  • Xavier Leroy (INRIA, France)
  • Devavrat Shah (MIT, USA)

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

2014 / Copenhagen, Denmark

Invited Speakers:

2013 / Latvia, Riga

Invited Speakers:

Photos from ICALP 2013

2012 / Warwick, UK

Invited Speakers:

2011 / Zürich, Switzerland

Invited Speakers:

Photos from ICALP 2011 by Manfred Kudlek

2010 / Bordeaux, France

Invited Speakers:

Photos from ICALP 2010 by Manfred Kudlek

2009 / Rhodes, Greece

Invited Speakers:

Photos from ICALP 2009 by Manfred Kudlek

2008 / Reykjavik, Iceland

Invited Speakers:

Photos from ICALP 2008 by Manfred Kudlek

2007 / Wroclaw, Poland

Invited Speakers:

2006 / Venezia, Italy

Invited Speakers:

2005 / Lisbon, Portugal

Invited Speakers:

2004 / Turku, Finland

Invited Speakers:

2003 / Eindhoven, The Netherlands

Invited Speakers:

2002 / Malaga, Spain

Invited Speakers:

2001 / Heraklion, Greece

Invited Speakers:

2000 / Geneva, Switzerland

Invited Speakers:

1999 / Prague, Czech Republic

Invited Speakers:

1998 / Aalborg, Denmark

Invited Speakers:

1997 / Bologne, Italy

Invited Speakers:

1996 / Paderborn, Germany

Invited Speakers:

1995 / Szeged, Hungary

Invited Speakers:

1994 / Jerusalem, Israel

Invited Speakers:

1993 / Lund, Sweden

Invited Speakers:

1992 / Vienna, Austria

Invited Speakers:

1991 / Madrid, Spain

Invited Speakers:

1990 / Warwick, UK

Invited Speakers:

1989 / Stresa, Italy

Invited Speakers:

1988 / Tampere, Finland

Invited Speakers:

1987 / Karlsruhe, Germany

Invited Speakers:

1986 / Rennes, France

Invited Speakers:

  • M.P. Schützenberger
  • A. Schönhage
  • G. Hansel

1985 / Nafplion, Greece

Invited Speakers:

1984 / Antwerp, Belgium

Invited Speakers:

1983 / Barcelona, Spain

Invited Speakers:

1982 / Aarhus, Denmark

Invited Speakers:

1981 / Haifa, Israel

Invited Speakers:

1980 / Noordwijkerhout, The Netherlands

Invited Speakers:

1979 / Graz, Austria

Invited Speakers:

1978 / Udine, Italy

Invited Speakers:

  • F. Harary

1977 / Turku, Finland

Invited Speakers:

  • A. V. Aho (R. Sethi)
  • M. P. Schützenberger (C. Choffrut)
  • M. Nivat

1976 / Edinburgh, UK

Invited Speakers:

1974 / Saarbrücken, Germany

1972 / Paris, France

 

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