Submission
Topics
Submission instructions
Important dates
Program Committees
Topics
As with the journal Theoretical Computer Science (TCS), the scientific
program of the Colloquium will be split into two parts: Track A of
the meeting will cover Algorithms, Automata, Complexity and
Games, while Track B covers Logic, Semantics and Theory of Programming.
Topic of interest include but are not limited to:
- Track A Algebra & circuits, Approximation algorithms, Combinatorial optimization, Computational biology, Computational geometry, Evolutionary algorithms, Distributed computing, Graph and network algorithms, Molecular computing, Neural networks, Online algorithms, Quantum computing, Randomized
algorithms, Routing, Scheduling, Sorting & searching, String algorithms;
- Track B Applied logic, Concurrency, Deduction, Hybrid systems,
Lambda calculus, Language theory, Logic, Logic of programs, Model checking, Probabilistic systems, Process algebra, Regular Languages, Rewriting, Semantics, Specification & verification, Theorem proving, Theory of programming, Type theory.
Submission instructions
Of 212 papers submitted to ICALP, 84 were accepted.
Authors are invited to submit the final version of their paper of no more than 12 pages.
LNCS-style.
The standard format of an ICALP submission has a textheight of at most 21cm and a textwidth of at most 15cm. The font is 10pt (and for LaTeX-users, the textsize is \normalsize, not \small). Use of the Springer style is mandatory. Papers that deviate substantially from this standard format will not be accepted for the proceedings.
Important Dates
- Submissions: January 12, 2003
- Notification: March 18, 2003
- Final version: April 13, 2003
Conference Chair
Program Committee
Track A
Harry Buhrman, CWI Amsterdam
Jens Clausen, DTK Lyngby
Martin Dyer, Leeds
Lars Engebretsen, KTH Stockholm
Uri Feige, Weizmann
Philippe Flajolet, INRIA Rocquencourt
Kazuo Iwama, Kyoto
Elias Koutsoupias, UCLA
Jan Karel Lenstra, Georgia Tech, co-chair
Stefano Leonardi, Roma
Rasmus Pagh, Copenhagen
Jean-Eric Pin, CNRS and Paris 7
Uwe Schoening, Ulm
Jiri Sgall, CAS Praha
Micha Sharir, Tel Aviv
Vijay Vazirani, Georgia Tech
Ingo Wegener, Dortmund
Peter Widmayer, ETH Zrich
Gerhard Woeginger, Twente, co-chair
Track B
Samson Abramsky, Oxford
Eike Best, Oldenburg
Manfred Broy, TU Mnchen
Philippe Darondeau, INRIA Rennes
Rocco De Nicola, Firenze
Rob van Glabbeek, Stanford
Ursula Goltz, Braunschweig
Roberto Gorrieri, Bologna
Robert Harper, Carnegie Mellon
Holger Hermanns, Twente
Kim Larsen, Aalborg
Jean-Jacques Levy, INRIA Rocquencourt
Flemming Nielson, DTU Lyngby
Prakash Panangaden, McGill
Joachim Parrow, Uppsala, chair
Amir Pnueli, Weizmann
Davide Sangiorgi, INRIA Sophia
Bernhard Steffen, Dortmund
Bjorn Victor, Uppsala