© 2000

Automata, Languages and Programming

27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

  • Ugo Montanari
  • José D. P. Rolim
  • Emo Welzl
Conference proceedings ICALP 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1853)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Invited Talk

    1. Samson Abramsky
      Pages 1-1
    2. Lars Engebretsen, Jonas Holmerin
      Pages 2-12
    3. Cristiano Calcagno, Eugenio Moggi, Walid Taha
      Pages 25-36
    4. Alan Mycroft, Richard Sharp
      Pages 37-48
    5. Seth Pettie, Vijaya Ramachandran
      Pages 49-60
    6. Torben Hagerup
      Pages 61-72
    7. Gordon Plotkin, John Power, Donald Sannella, Robert Tennent
      Pages 85-102
    8. Dan R. Ghica, Guy McCusker
      Pages 103-115
    9. Keye Martin
      Pages 116-126
  3. Invited Talk

    1. Albert Atserias, Nicola Galesi, Ricard Gavaldá
      Pages 151-162
    2. Gerald Lüttgen, Michael Mendler
      Pages 163-174
    3. Roberto Bruni, Vladimiro Sassone
      Pages 175-186
    4. Juraj Hromkovič, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert
      Pages 199-210
    5. Volker Diekert, Paul Gastin
      Pages 211-223

About these proceedings


This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.


Automat algorithms automata complexity computer computer science logic programming

Editors and affiliations

  • Ugo Montanari
    • 1
  • José D. P. Rolim
    • 2
  • Emo Welzl
    • 3
  1. 1.Department of Computer SciencesUniversity of PisaPisaItaly
  2. 2.Center for Computer SciencesUniversity of GenevaGeneva 4Switzerland
  3. 3.Department of Computer SciencesETH ZurichZurichSwitzerland

Bibliographic information