Call for participation 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
TheoreticalComputer 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. The full
program, containing 84 accepted papers and 6 invited contributions is
now available at the ICALP2003 website (
http://www.win.tue.nl/icalp2003/Schedule.html ).

Invited speakers

Jan Bergstra: Polarized process algebra and program equivalence
Anne Condon: Problems in RNA secondary structure prediction and design
Amos Fiat: Some issues regarding search, censorship, and anonimity in
peer to peer networks
Petra Mutzel: The SPQR-tree data structure in graph drawing
Doron Peled: Model checking and testing combined
Moshe Vardi: Logic and automata, a match made in heaven

Workshops and surrounding events

In the weekends preceeding and following ICALP2003 several workshops of
interest to the EACTS-community will be held at the conference venue, a
list is available at conference website
( http://www.win.tue.nl/icalp2003/Workshops.html ). In the week before
ICALP (June 24-27), two more international conferences in computer
science are hosted by the TU Eindhoven at the same venue: the 24th
International Conference on Application and Theory of Petri Nets, ATPN
2003, and the Conference on Business Process Management, BPM 2003.
Besides these scientific events, a number of other activities such as
excursions, a social event, a festive award presentation, and an event
on education in theoretical computer science are part of ICALP2003. For
a complete overview, see the "Events" section of the website
( http://www.win.tue.nl/icalp2003/Events.html ).


Eindhoven is the fifth largest city in the Netherlands, with good
railconnections to the rest of the country and neighbouring countries.
It can be reached by train from Schiphol, the main airport of the
in only 1.5 hours. The campus of the Technische Universiteit Eindhoven is
located in the centre of the city, within walking distance of the train
station and the conference hotels.


The important dates for registration are:
Deadline for early registration May 28
Deadline for late registration June 20

The conference website contains an online registration form which also
allows you to make reservations at the conference hotels
( http://www.win.tue.nl/icalp2003/Registration.html )

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/