------------------------------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: [EMAIL PROTECTED] URL: www.win.tue.nl/icalp2003/ _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell