Automata, Languages, and Programming

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

  • Fedor V. Fomin
  • Rūsiņš Freivalds
  • Marta Kwiatkowska
  • David Peleg
Conference proceedings ICALP 2013

DOI: 10.1007/978-3-642-39206-1

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

Table of contents (71 papers)

  1. Front Matter
  2. Track A – Algorithms, Complexity and Games

    1. Amir Abboud, Kevin Lewi
      Pages 1-12
    2. S. Anand, Karl Bringmann, Tobias Friedrich, Naveen Garg, Amit Kumar
      Pages 13-24
    3. Alexandr Andoni, Huy L. Nguyễn, Yury Polyanskiy, Yihong Wu
      Pages 25-32
    4. Martin Aumüller, Martin Dietzfelbinger
      Pages 33-44
    5. Per Austrin, Petteri Kaski, Mikko Koivisto, Jussi Määttä
      Pages 45-56
    6. David Avis, Hans Raj Tiwary
      Pages 57-68
    7. Maxim Babenko, Andrew V. Goldberg, Anupam Gupta, Viswanath Nagarajan
      Pages 69-80
    8. MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Vahid Liaghat
      Pages 81-92
    9. Reinhard Bauer, Tobias Columbus, Ignaz Rutter, Dorothea Wagner
      Pages 93-104
    10. Aleksandrs Belovs, Andrew M. Childs, Stacey Jeffery, Robin Kothari, Frédéric Magniez
      Pages 105-122
    11. Arnab Bhattacharyya, Yuichi Yoshida
      Pages 123-134
    12. Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Neil Dobbs, Tomasz Nowicki, Maxim Sviridenko et al.
      Pages 135-147
    13. Philip Bille, Johannes Fischer, Inge Li Gørtz, Tsvi Kopelowitz, Benjamin Sach, Hjalte Wedel Vildhøj
      Pages 148-159
    14. Philip Bille, Inge Li Gørtz, Gad M. Landau, Oren Weimann
      Pages 160-171
    15. Markus Bläser
      Pages 172-183
    16. Thomas Bläsius, Ignaz Rutter, Dorothea Wagner
      Pages 184-195
    17. Hans L. Bodlaender, Marek Cygan, Stefan Kratsch, Jesper Nederlof
      Pages 196-207
    18. Cecilia Bohler, Panagiotis Cheilaris, Rolf Klein, Chih-Hung Liu, Evanthia Papadopoulou, Maksym Zavershynskyi
      Pages 208-219
    19. Endre Boros, Khaled Elbassioni, Vladimir Gurvich, Kazuhisa Makino
      Pages 220-231

Other volumes

  1. Automata, Languages, and Programming
    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
  2. 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.

Keywords

approximation algorithms computational complexity dynamic programming proof systems randomized 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 ScienceUniversity of OxfordOxfordUK
  4. 4.Faculty of Mathematics and Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39205-4
  • Online ISBN 978-3-642-39206-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349