final call for papers icalp 2003

Fri, 3 Jan 2003 11:58:57 +0100

------------------------------Final Call For
Papers----------------------------------------------------

     We apologize for the reception of multiple copies of this message.
----------------------------------------------------------------------------
----------------------------

                                 ICALP2003

  Thirtieth International Colloquium on Automata, Languages and Programming

             Eindhoven, The Netherlands, June 30 - July 4, 2003

The 30th annual meeting of the European Association of Theoretical Computer
Science will be held in Eindhoven, The Netherlands, at the Technische
Universiteit Eindhoven.

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.

Submissions

Authors are invited to submit a paper presenting original contributions to
the theory of computer science. Submissions should consist of: a cover page,
with the author's full name, address, fax number, e-mail address, a 100-word
abstract, keywords and to which track (A or B) the paper is being submitted.
At least one author of an accepted paper should be available to present it
at the conference. Simultaneous submission to other conferences with
published proceedings is not
allowed. Electronic submission of papers through the conference website is
the preferred method of submission, see http://www.win.tue.nl/icalp2003/. 

The conference proceedings will be published by Springer Verlag as a volume
in the Lecture Notes in Computer Science series. Hence, authors are
encouraged to use the LNCS-style (see
http://www.springer.de/comp/lncs/authors.html for instructions). 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). A submission has at most 12 pages,
possibly followed by an appendix of at most 8 pages. The appendix may
contain sketches of long proofs and additional material, but the
contribution of the paper must be understandable without reading the
appendix. Papers that deviate substantially from this standard format will
be rejected.

Important Dates

   * Submissions: January 12, 2003
   * Notification: March 18, 2003
   * Final version: April 13, 2003

Conference Chair

     Jos Baeten

     Technische Universiteit Eindhoven
     Department of Mathematics and Computing Science
     P.O. Box 513
     5600 MB Eindhoven
     The Netherlands

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 Zuerich
     Gerhard Woeginger, Twente, co-chair

Track B

     Samson Abramsky, Oxford
     Eike Best, Oldenburg
     Manfred Broy, TU Muenchen
     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

Workshops and co-located events

In the weekends preceding and following ICALP several workshops that are of
interest to the EACTS-community will be held at the conference venue. There
will be workshops related to track A as well as workshops related to Track B
of ICALP. A preliminary list of satelite events is available on the ICALP
2003 website. In the week preceding ICALP (June 24-27), two more
international conferences in computer science are organized by the TU/e: the
4th International Conference on Application and Theory of Petri Nets, ATPN
2003 (http://www.tue.nl/atpn2003/), and the Conference on Business Process
Management, BPM 2003 (http://tmitwww.tm.tue.nl/bpm2003/).

Contact information

     ICALP2003 Office
     Technische Universiteit Eindhoven
     Department of Mathematics and Computing Science
     P.O. Box 513
     5600MB Eindhoven
     The Netherlands

     Telephone: +31 40 2474124
     Fax: +31 40 2475361
     E-mail: icalp2003@tue.nl
     URL: www.win.tue.nl/icalp2003/