[Prev][Next][Index][Thread]
Call for participation ICALP2003
-
To: petrinets@daimi.aau.dk, practical-applications@pap.com, procos@jiscmail.ac.uk, prog-lang@diku.dk, prolog@sushi.stanford.edu, prologia@prologianet.univ-mrs.fr, puml-list@cs.york.ac.uk, pvs@csl.sri.com, rapide-support@poset.stanford.edu, reliable_computing@interval.usl.edu, rewriting@ens-lyon.fr, sdlnews@sdl-forum.org, software-engineering@jiscmail.ac.uk, sonoteno@etl.go.jp, spin_list@research.bell-labs.com, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, theorynt@listserv.nodak.edu, tla@pa.dec.com, types@cis.upenn.edu, vdm-forum@jiscmail.ac.uk
-
Subject: Call for participation ICALP2003
-
From: icalp2003@TUE.nl
-
Date: Tue, 22 Apr 2003 12:22:46 +0200
-
Cc: icalp2003@TUE.nl
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/