Advertisement

Automata, Languages and Programming

32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

  • Luís Caires
  • Giuseppe F. Italiano
  • Luís Monteiro
  • Catuscia Palamidessi
  • Moti Yung

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Leslie G. Valiant
      Pages 1-15
    2. Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
      Pages 16-29
    3. Giuseppe Castagna, Alain Frisch
      Pages 30-34
    4. Leonid Libkin
      Pages 35-50
    5. Martin Gairing, Thomas Lücking, Burkhard Monien, Karsten Tiemann
      Pages 51-65
  3. Data Structures I

    1. Philip Bille, Inge Li Gørtz
      Pages 66-77
    2. Stephen Alstrup, Inge Li Gørtz, Theis Rauhe, Mikkel Thorup, Uri Zwick
      Pages 78-89
    3. Gianni Franceschini, Roberto Grossi
      Pages 90-102
    4. Kanela Kaligosi, Kurt Mehlhorn, J. Ian Munro, Peter Sanders
      Pages 103-114
  4. Cryptography and Complexity

  5. Data Structures II

    1. Martin Dietzfelbinger, Christoph Weidling
      Pages 166-178
    2. Ehsan Chiniforooshan, Arash Farzan, Mehdi Mirzazadeh
      Pages 179-190
    3. Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch
      Pages 191-203
  6. Cryptography and Distributed Systems

    1. Klaus Kursawe, Victor Shoup
      Pages 204-215
    2. Giovanni Di Crescenzo, Aggelos Kiayias
      Pages 216-227
    3. Giuseppe Persiano, Ivan Visconti
      Pages 228-240
  7. Graph Algorithms I

  8. Security Mechanisms

    1. Tal Moran, Moni Naor
      Pages 285-297
    2. Dario Catalano, Ivan Visconti
      Pages 298-310
    3. Nicholas Hopper
      Pages 311-323
    4. An Braeken, Yuri Borissov, Svetla Nikova, Bart Preneel
      Pages 324-334
  9. Graph Algorithms II

    1. Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg
      Pages 335-346
    2. Bogdan S. Chlebus, Leszek Gąsieniec, Dariusz R. Kowalski, Tomasz Radzik
      Pages 347-359
    3. Jiří Fiala, Petr A. Golovach, Jan Kratochvíl
      Pages 360-372
    4. Qian-Ping Gu, Hisao Tamaki
      Pages 373-384
  10. Automata and Formal Languages I

    1. Juraj Hromkovič, Georg Schnitger
      Pages 385-396
    2. Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch
      Pages 397-409
    3. Martin Beaudry, François Lemieux, Denis Thérien
      Pages 421-433
  11. Signature and Message Authentication

    1. Eike Kiltz, Anton Mityagin, Saurabh Panjwani, Barath Raghavan
      Pages 434-445
    2. Mårten Trolin, Douglas Wikström
      Pages 446-458
    3. Ueli Maurer, Johan Sjödin
      Pages 472-484
  12. Algorithmic Game Theory

    1. Henry Lin, Tim Roughgarden, Éva Tardos, Asher Walkover
      Pages 497-512
  13. Automata and Logic

    1. Manfred Droste, Paul Gastin
      Pages 513-525
  14. Computational Algebra

  15. Cache-Oblivious Algorithms and Algorithmic Engineering

    1. Hema Jampala, Norbert Zeh
      Pages 563-575
    2. Gerth Stølting Brodal, Rolf Fagerberg, Gabriel Moruz
      Pages 576-588
  16. On-line Algorithms

    1. Leah Epstein, Meital Levy
      Pages 602-613

About these proceedings

Introduction

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The ?rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti?c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti?c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically.

Keywords

Automat algorithms automata complexity computer science data structures distributed systems formal language formal languages game theory logic model checking programming verification

Editors and affiliations

  • Luís Caires
    • 1
  • Giuseppe F. Italiano
    • 2
  • Luís Monteiro
    • 3
  • Catuscia Palamidessi
    • 4
  • Moti Yung
    • 5
  1. 1.CITI / Departamento de InformáticaUniversidade Nova de LisboaPortugal
  2. 2.Dipartimento di Informatica, Sistemi e ProduzioneUniversità di Roma “Tor Vergata”RomaItaly
  3. 3.Departamento de InformaticaUniversidade Nova de LisboaCaparicaPortugal
  4. 4.Ecole PolytechniquePalaiseau CedexFrance
  5. 5.Computer Science DepartmentGoogle Inc. and Columbia UniversityNew YorkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11523468
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-27580-0
  • Online ISBN 978-3-540-31691-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site