Automata, Languages, and Programming

40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

  • Fedor V. Fomin
  • Rūsiņš Freivalds
  • Marta Kwiatkowska
  • David Peleg

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

Table of contents

  1. Front Matter
  2. EATCS Lecture

  3. Invited Talks

    1. Shaull Almagor, Udi Boker, Orna Kupferman
      Pages 15-27
    2. Paul G. Spirakis, Sotiris Nikoletseas, Christoforos Raptopoulos
      Pages 29-35
  4. Track B – Logic, Semantics, Automata and Theory of Programming

    1. Rajeev Alur, Mukund Raghothaman
      Pages 37-48
    2. Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki et al.
      Pages 74-88
    3. Udi Boker, Denis Kuperberg, Orna Kupferman, Michał Skrzypczak
      Pages 89-100
    4. Facundo Carreiro, Daniel Gorín, Lutz Schröder
      Pages 101-112
    5. Émilie Charlier, Teturo Kamae, Svetlana Puzynina, Luca Q. Zamboni
      Pages 113-124
    6. Hubie Chen, Dániel Marx
      Pages 125-136
    7. Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
      Pages 137-149
    8. Wojciech Czerwiński, Wim Martens, Tomáš Masopust
      Pages 150-161
    9. Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
      Pages 162-173
    10. Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
      Pages 187-198

Other volumes

  1. 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
  2. Automata, Languages, and Programming
    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

About these proceedings

Introduction

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.

Editors and affiliations

  • Fedor V. Fomin
    • 1
  • Rūsiņš Freivalds
    • 2
  • Marta Kwiatkowska
    • 3
  • David Peleg
    • 4
  1. 1.Department of InformaticsUniversity of BergenBergenNorway
  2. 2.Faculty of ComputingUniversity of LatviaRigaLatvia
  3. 3.Department of Computer Science, Wolfson Building, Parks RoadUniversity of OxfordOxfordUK
  4. 4.Faculty of Mathematics and Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39212-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39211-5
  • Online ISBN 978-3-642-39212-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book