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