|
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. 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.
| Year |
Place |
Invited Speakers |
| 2008 |
Reykjavik, Iceland |
Ran Canetti
(IBM T.J. Watson Research Center and MIT, USA)
Bruno Courcelle
(Labri, Universitè Bordeaux, France)
Javier Esparza
(Technische Universität München, Germany)
Muthu Muthukrishnan
(Google, USA)
Leslie
G. Valiant (Harvard, USA) --- Recipient of the
2008 EATCS Award
Peter Winkler (Dartmouth, USA)
|
| 2007 |
Wroclaw, Poland |
Bernard Chazelle (Princeton University, US)
Ivan Damgård (University of Aarhus, Denmark)
Fedor Fomin (University of Bergen, Norway)
Gordon Plotkin (University of Edinburgh, UK)
Michael O. Rabin (Harvard University, US)
Fred Schneider (Cornell University, US)
|
| 2006 |
Venezia, Italy |
Cynthia Dwork
Alon Noga
Prakash Panangaden
Mike Paterson
Simon Peyton Jones
|
| 2005 |
Lisbon, Portugal |
G. Castagna
J.-Y. Girard
L. Libkin
R. Milner
J.C. Mitchell (A. Datta, A. Derek, V. Shmatikov, M. Turuani)
B. Monien (M. Gairing, T. Lücking, K. Tiemann)
A. Shamir
L.G. Valiant
|
| 2004 |
Turku, Finland |
P. Flajolet
R. Harper (U. Acar, G.E. Blelloch)
M. Henzinger
M. Herlihy (N. Shavit, M. Saks, F. Zaharoglu)
M. Hofmann
A. Razborov
W. Rytter
A. Salomaa
M. Yannakakis
|
| 2003 |
Eindhoven, The Netherlands |
E. Aarts
J. Bergstra
N. de Bruijn
A. Condon
A. Fiat
P. Mutzel
D. Peled
G. Rozenberg
M. Vardi
|
| 2002 |
Malaga, Spain |
J. Reif
M. Marathe
A. Pitts
G. Sénizergues
M. Nivat (A. Del Lungo, A. Frosini, L. Vuillon)
H. Mannila
M. Hermenegildo (F. Bueno, P. López-García)
L. Flores
|
| 2001 |
Heraklion, Greece |
C. Böhm
A. Bouajjani
U. Feige (S. Arora, S. Goldwasser, C. Lund, L. Lovász, R. Motwani, M. Sudan, M. Szegedy)
M. Grosse-Rhode
M. Nielsen
C. Papadimitriou
B. Trakhtenbrot
I. Wegener
|
| 2000 |
Geneva, Switzerland |
S. Abramsky
A.Z. Broder
G. Engels (R. Heckel)
O. Goldreich
R. Gorrieri (R. Focardi, F. Martinelli)
J. Håstad
R. Karp
Z. Manna (H.B. Sipma)
K. Mehlhorn
|
| 1999 |
Prague, Czech Republic |
M. Ajtai
L. Cardelli
K. Compton (S. Dexter)
K. Crary (G. Morrisett)
F. Cucker
N.G. de Bruijn
A. Edalat (M. Krznaric)
J. Hartmanis
J. van Leeuwen
G. Rozenberg, A. Salomaa
J. Vitter
O. Watanabe
|
| 1998 |
Aalborg, Denmark |
M. Abadi
G. Brassard
T. Henzinger
M. Overmars
A. Pitts
A. Pnueli (Y. Kesten, L. Raviv)
S. Toda
L. Valiant
A. Wigderson
|
| 1997 |
Bologne, Italy |
R. Milner
C. Papadimitriou
K.R. Apt
J. Halpern (Y. Moses)
L. Lipton (L. Landweber)
M.O. Rabin
K. Mehlhorn (S. Näher, C. Uhrig)
U. Montanari
M. Nivat
D. Perrin (O. Carton)
|
| 1996 |
Paderborn, Germany |
H. Ganzinger
V. Bruyère (M. Latteux)
M.O. Rabin
A. Ranade
A. Razborov
|
| 1995 |
Szeged, Hungary |
G. Rozenberg (A. Ehrenfeucht, T. Harju)
R. Freivalds (M. Karpinski)
G. Paun
E. Best (M.Koutny)
|
| 1994 |
Jerusalem, Israel |
P. Pudlák
P. Kanellakis (G. Hillebrand, H. Mairson)
M. Hennessy
E. Upfal
|
| 1993 |
Lund, Sweden |
M. Blum
L. Hemachandra
D. Dolev (D. Malki)
I. Simon
S. Abiteboul (V. Vianu)
|
| 1992 |
Vienna, Austria |
P. Flajolet
M. Li (P. Vitányi)
M.Y. Vardi (P. G. Kolaitis)
E.-R. Olderog
A. Tarlecki (D. Sannella)
B. Buchberger
|
| 1991 |
Madrid, Spain |
B. Chazelle
J. Díaz (R. Casas, C. Martínez)
Y. Gurevich
G. Levi (M. Gabbrielli)
W. Thomas
U. Vishkin
|
| 1990 |
Warwick, UK |
D. Johnson
N.D. Jones
J.W. Klop
R. Milner
K. Mehlhorn (S. Näher)
|
| 1989 |
Stresa, Italy |
C. Böhm
H. Ehrig (P. Pepper, F. Orejas)
S. Micali (P. Feldmann)
J.C. Reynolds
Z. Galil (D. Eppstein)
D. Perrin
|
| 1988 |
Tampere, Finland |
R. Kowalski
K. Kulik II
H. Edelsbrunner
J. Gruska
J. Hartmanis
T. Leighton
J. Rissanen
P.S. Thiagarajan
|
| 1987 |
Karlsruhe, Germany |
L.G. Valiant
W.J. Paul
J. Karhumäki
J. Schwartz (M. Sharir)
|
| 1986 |
Rennes, France |
M.P. Schützenberger
A. Schönhage
G. Hansel
|
| 1985 |
Nafplion, Greece |
D. Knuth
A. Pnueli
L. Lovász
|
| 1984 |
Antwerp, Belgium |
R. Fagin (M. Y. Vardi)
A.L. Rosenberg
|
| 1983 |
Barcelona, Spain |
M. Rabin
J. Nesetril
|
| 1982 |
Aarhus, Denmark |
D. Scott
N. Pippenger
A. Salwicki
|
| 1981 |
Haifa, Israel |
J.D. Ullman
E. Engeler
|
| 1980 |
Noordwijkerhout, The Netherlands |
A. Salomaa
A. Shamir
J.N. Gray
|
| 1979 |
Graz, Austria |
R. Karp
Z. Manna (A. Pnueli)
G. Rozenberg
|
| 1978 |
Udine, Italy |
F. Harary
|
| 1977 |
Turku
Finland |
A. V. Aho (R. Sethi)
M. P. Schützenberger (C. Choffrut)
M. Nivat
|
| 1976 |
Edinburgh, UK |
M. O. Rabin
|
| 1974 |
Saarbrücken, Germany |
|
| 1972 |
Paris, France |
|
Guidelines for ICALP Organization Proposals
[html] [ps]
|