Advertisement

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
  4. Invited Talk

    1. Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schöning
      Pages 236-247
    2. Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons
      Pages 272-282
    3. Janos Csirik, Gerhard J. Woeginger
      Pages 296-304
    4. Christoph Ambühl, Bernd Gärtner, Bernhard von Stengel
      Pages 305-316
    5. Denis Lugiez, Philippe Schnoebelen
      Pages 342-353
  5. Invited Talk

    1. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
      Pages 354-372
    2. Ali Akhavi, Brigitte Vallée
      Pages 373-387
    3. Cyril Banderier, Philippe Flajolet, Gilles Schaeffer, Michéle Soria
      Pages 388-402
  6. Award Talk

  7. Invited Talk

    1. Zohar Manna, Henny B. Sipma
      Pages 429-450
    2. Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano
      Pages 451-462
    3. William Aiello, Sandeep Bhatt, Rafail Ostrovsky, S. Raj. Rajagopalan
      Pages 463-474
    4. Javier Esparza, Keijo Heljanko
      Pages 475-486
    5. B. Meenakshi, R. Ramanujam
      Pages 487-498
    6. Olivier Baudron, David Pointcheval, Jacques Stern
      Pages 499-511
    7. Christian Cachin, Jan Camenisch, Joe Kilian, Joy Müller
      Pages 512-523
    8. Birgit Baum-Waidner, Michael Waidner
      Pages 524-535
    9. Juhani Karhumäki, Ion Petre
      Pages 536-546
    10. Frank Neven, Thomas Schwentick
      Pages 547-560
    11. Marie-Pierre Béal, Olivier Carton
      Pages 561-570
  8. Invited Talk

    1. Kurt Mehlhorn
      Pages 571-575
    2. Noga Alon, Haim Kaplan, Michael Krivelevich, Dahlia Malkhi, Julien Stern
      Pages 576-587

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-45022-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67715-4
  • Online ISBN 978-3-540-45022-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site