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

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
  • About this book