call for papers icalp 2003
icalp2003 at TUE.nl
icalp2003 at TUE.nl
Tue Oct 22 12:36:00 PDT 2002
> ------------------------------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
> encouraged, 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 11pt (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 will become
> 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 at tue.nl
> URL: www.win.tue.nl/icalp2003/
>
-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.
More information about the Compgeom-announce
mailing list