Automata, Languages, and Programming

42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

  • Magnús M. Halldórsson
  • Kazuo Iwama
  • Naoki Kobayashi
  • Bettina Speckmann
Conference proceedings ICALP 2015

DOI: 10.1007/978-3-662-47666-6

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

Table of contents

  1. Front Matter
    Pages I-XXXIX
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Ken-Ichi Kawarabayashi, Stephan Kreutzer
      Pages 3-10
  3. Track B: Logic, Semantics, Automata and Theory of Programming

    1. Front Matter
      Pages 29-29
    2. Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
      Pages 31-43
    3. James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Crãciun, Gabriel Istrate
      Pages 44-55
    4. Antoine Amarilli, Pierre Bourhis, Pierre Senellart
      Pages 56-68
    5. Nikola Beneš, Peter Bezděk, Kim G. Larsen, Jiří Srba
      Pages 69-81
    6. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
      Pages 95-107
    7. Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
      Pages 108-120
    8. Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
      Pages 121-133
    9. Laura Ciobanu, Volker Diekert, Murray Elder
      Pages 134-145
    10. Thomas Colcombet, A. V. Sreejith
      Pages 146-158
    11. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
      Pages 159-170
    12. Jérémy Dubut, Éric Goubault, Jean Goubault-Larrecq
      Pages 171-183
    13. Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michał Skrzypczak
      Pages 197-208
    14. Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
      Pages 209-221

Other volumes

  1. 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
  2. Automata, Languages, and Programming
    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.

Keywords

algorithms automata categorical semantics computational complexity constraint satisfaction convex optimization directed algebraic topology dynamic graph algorithms foundations of networked computation game theory logics parameterised complexity probabilistic systems signature schemes social networks streaming theoretical computer science theory of programming transducer universal algebra

Editors and affiliations

  • Magnús M. Halldórsson
    • 1
  • Kazuo Iwama
    • 2
  • Naoki Kobayashi
    • 3
  • Bettina Speckmann
    • 4
  1. 1.Reykjavik UniversityReykjavikIceland
  2. 2.Kyoto UniversityKyotoJapan
  3. 3.The University of TokyoTokyoJapan
  4. 4.Technische Universiteit EindhovenEindhovenThe Netherlands

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-47665-9
  • Online ISBN 978-3-662-47666-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349