Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Rajeev Alur, Jyotirmoy V. Deshmukh
      Pages 1-20
    2. Ronen Shaltiel
      Pages 21-41
    3. Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 60-76
  3. Best Student Papers

  4. Best Papers

    1. Martin Hoefer
      Pages 113-124
    2. Olivier Carton, Thomas Colcombet, Gabriele Puppis
      Pages 125-136
    3. Malte Beecken, Johannes Mittmann, Nitin Saxena
      Pages 137-148
  5. Session B1: Foundations of Program Semantics

    1. David Hopkins, Andrzej S. Murawski, C. -H. Luke Ong
      Pages 149-161
    2. S. Salvati, I. Walukiewicz
      Pages 162-173
    3. Shin-ya Katsumata
      Pages 174-185
    4. Jim Laird, Giulio Manzonetto, Guy McCusker
      Pages 186-197
  6. Session B2: Automata and Formal Languages

    1. Markus Lohrey, Christian Mathissen
      Pages 210-221
    2. Michael Benedikt, Gabriele Puppis, Cristian Riveros
      Pages 234-245
  7. Session B3: Model Checking

    1. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
      Pages 246-257

Other volumes

  1. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
  2. Automata, Languages and Programming
    38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.

Keywords

computer science logic equilibria computation formal methods formal verification hybrid systems program semantics systems security

Editors and affiliations

  • Luca Aceto
    • 1
  • Monika Henzinger
    • 2
  • Jiří Sgall
    • 3
  1. 1.ICE-TCS, School of Computer ScienceReykjavik UniversityReykjavikIceland
  2. 2.Fakultät für InformatikUniversität WienWienAustria
  3. 3.Department of Applied MathematicsCharles UniversityPraha 1Czech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-22012-8
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22011-1
  • Online ISBN 978-3-642-22012-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book