Logic List Mailing Archive

ICALP 2003 Colloquium on Automata, Languages and Programming, Eindhoven June/July 2003

ICALP2003 
Thirtieth International Colloquium on Automata, Languages and Programming
Eindhoven, The Netherlands, June 30 - July 4, 2003

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

The 30th annual meeting of the European Association of Theoretical
Computer Science will be held in Eindhoven, The Netherlands, at the
Technische Universiteit Eindhoven.

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.

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

Co-located events

In the week preceding ICALP (June 23-27), two international conferences in
computer science are hosted by the TU/e:

    24th International Conference on Application and Theory of Petri Nets
      (ATPN 2003)
    Conference on Business Process Management (BPM 2003)