International Colloquium on Automata, Languages and Programming (ICALP)

The International Colloquium on Automata, Languages and Programming (or "ICALP") is the main conference and annual meeting of the EATCS. It is an international conference covering all aspects of theoretical computer science and now customarily taking place during the second or third week of July.

As is the case of the two tracks of the journal Theoretical Computer Science, the scientific program of the Colloquium is split into two parts: Track A of the meeting will correspond to Algorithms, Automata, Complexity, and Games, while Track B to Logic, Semantics, and Theory of Programming. Since 2009, a special Track C is available on Foundations of Networked Computation: Models, Algorithms and Information Management. The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community.
Typical topics discussed during recent ICALP conferences are: computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.

EATCS presents annually the Best EATCS Paper Award and Best Student ICALP Paper Award, which are both awarded at ICALP. Moreover, jointly with ACM SIGACT, EATCS awards annually the Gödel Prize for outstanding papers in the area of theoretical computer science, and the presentation taking place alternately at ICALP and ACM Symposium on the Theory of Computing (STOC).

A brief history of the ICALP conferences and workshops follows below.

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

 

 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.