ICALP 2003 main page

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.