The Coq mailing list

[icalp2003 AT TUE.nl]

> ------------------------------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 AT tue.nl
>      URL: www.win.tue.nl/icalp2003/
> 
> 
> 
> 
> 
>