------------------------------Call For Participation----------------------- 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

http://www.win.tue.nl/icalp2003/

DEADLINE FOR EARLY REGISTRATION MAY 28

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 ).

Venue

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 Netherlands, 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.

Registration

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/