Advertisement

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

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, 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
    15. Christoph Haase, Stefan Kiefer
      Pages 234-246
    16. Radha Jagadeesan, James Riely
      Pages 247-259
    17. Marcin Jurdziński, Ranko Lazić, Sylvain Schmitz
      Pages 260-272
    18. Jarkko Kari, Michal Szabados
      Pages 273-285
    19. Dexter Kozen, Konstantinos Mamouras, Daniela Petrişan, Alexandra Silva
      Pages 286-298
    20. Denis Kuperberg, Michał Skrzypczak
      Pages 299-310
    21. Ori Lahav, Viktor Vafeiadis
      Pages 311-323
    22. Jérôme Leroux, Grégoire Sutre, Patrick Totzke
      Pages 324-336
    23. Markus Lohrey, Sebastian Maneth, Fabian Peternek
      Pages 337-349
    24. Damiano Mazza, Kazushige Terui
      Pages 350-361
    25. Henryk Michalewski, Matteo Mio
      Pages 362-374
    26. Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
      Pages 375-387
    27. Sven Schewe, Ashutosh Trivedi, Thomas Varghese
      Pages 388-400
    28. Sam Staton, Sander Uijlen
      Pages 401-413
    29. Mikołaj Bojańczyk, Filip Murlak, Adam Witkowski
      Pages 427-439
    30. Georg Zetzsche
      Pages 440-451
    31. Felix Klein, Martin Zimmermann
      Pages 452-463
  4. Track C: Foundations of Networked Computation: Models, Algorithms and Information Management

    1. Front Matter
      Pages 465-465
    2. Dimitris Achlioptas, Paris Siminelakis
      Pages 467-478
    3. Dan Alistarh, Rati Gelashvili
      Pages 479-491
    4. Chen Avin, Zvi Lotker, Yinon Nahum, David Peleg
      Pages 492-503
    5. Sayan Bhattacharya, Martin Hoefer, Chien-Chung Huang, Telikepalli Kavitha, Lisa Wagner
      Pages 504-515
    6. Karl Bringmann, Tobias Friedrich, Martin Hoefer, Ralf Rothenberger, Thomas Sauerwald
      Pages 516-527
    7. Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
      Pages 528-539
    8. Arkadev Chattopadhyay, Atri Rudra
      Pages 540-551
    9. Ning Chen, Martin Hoefer, Marvin Künnemann, Chengyu Lin, Peihan Miao
      Pages 552-563
    10. Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Noy Rotbart
      Pages 564-574
    11. Varsha Dani, Mahnush Movahedi, Jared Saia, Maxwell Young
      Pages 575-587

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

  • DOI https://doi.org/10.1007/978-3-662-47666-6
  • 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering