Automata, Languages and Programming

35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

  • Editors
  • Luca Aceto
  • Ivan Damgård
  • Leslie Ann Goldberg
  • Magnús M. Halldórsson
  • Anna Ingólfsdóttir
  • Igor Walukiewicz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5126)

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Javier Esparza, Stefan Kiefer, Michael Luttenberger
      Pages 14-26
  3. Track B: Logic, Semantics, and Theory of Programming

    1. Bounds

      1. Henrik Björklund, Wim Martens
        Pages 27-38
      2. Hermann Gruber, Markus Holzer
        Pages 39-50
      3. Tomasz Jurdziński
        Pages 51-62
    2. Distributed Computation

      1. Matthias Neubauer, Peter Thiemann
        Pages 75-86
      2. Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson
        Pages 87-98
      3. Martin Berger, Kohei Honda, Nobuko Yoshida
        Pages 99-111
    3. Real-Time and Probabilistic Systems

      1. Bernard Boigelot, Julien Brusten, Véronique Bruyère
        Pages 112-123
      2. Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
        Pages 124-135
      3. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir Dullerud
        Pages 136-147
    4. Logic and Complexity

      1. Anuj Dawar, Stephan Kreutzer
        Pages 160-171
      2. László Egri, Benoît Larose, Pascal Tesson
        Pages 172-183
      3. Manuel Bodirsky, Martin Grohe
        Pages 184-196
    5. Words and Trees

      1. Antonio Cano Gómez, Giovanna Guaiana, Jean-Éric Pin
        Pages 209-220

Other volumes

  1. 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
  2. Automata, Languages and Programming
    35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.

The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.

Keywords

Hashing algorithms complexity computational mathematics cryptography cryptology formal methods game theory logic logical foundations mathematical logic program semantics programming proof complexity verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-70583-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70582-6
  • Online ISBN 978-3-540-70583-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book