Automata, Languages, and Programming

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

  • Magnús M. Halldórsson
  • Kazuo Iwama
  • Naoki Kobayashi
  • Bettina Speckmann

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9134)

Table of contents

  1. Front Matter
    Pages I-XXXI
  2. Shweta Agrawal, Yuval Ishai, Dakshita Khurana, Anat Paskin-Cherniavsky
    Pages 1-13
  3. Susanne Albers, Dario Frascaria
    Pages 26-38
  4. Georgios Amanatidis, Evangelos Markakis, Afshin Nikzad, Amin Saberi
    Pages 39-51
  5. Elliot Anshelevich, Koushik Kar, Shreyas Sekar
    Pages 52-64
  6. Boris Aronov, Matthew J. Katz
    Pages 65-77
  7. Noa Avigdor-Elgrabli, Sungjin Im, Benjamin Moseley, Yuval Rabani
    Pages 78-90
  8. Yossi Azar, Ilan Reuven Cohen
    Pages 91-102
  9. Paul Beame, Vincent Liew, Mihai Pǎtraşcu
    Pages 103-115
  10. Babak Behsaz, Zachary Friggstad, Mohammad R. Salavatipour, Rohit Sivakumar
    Pages 116-128
  11. Xiaohui Bei, Ning Chen, Shengyu Zhang
    Pages 129-142
  12. Christoph Berkholz, Martin Grohe
    Pages 155-166
  13. Aaron Bernstein, Cliff Stein
    Pages 167-179
  14. Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
    Pages 180-192
  15. Amey Bhangale, Swastik Kopparty, Sushant Sachdeva
    Pages 193-205
  16. Sayan Bhattacharya, Monika Henzinger, Giuseppe F. Italiano
    Pages 206-218
  17. Laurent Bienvenu, Damien Desfontaines, Alexander Shen
    Pages 219-230

Other volumes

  1. Automata, Languages, and Programming
    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
  2. 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-47672-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-47671-0
  • Online ISBN 978-3-662-47672-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book