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

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

Table of contents

  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
    20. Mark Braverman, Anup Rao, Omri Weinstein, Amir Yehudayoff
      Pages 232-243
    21. Vladimir Braverman, Rafail Ostrovsky, Dan Vilenchik
      Pages 244-254
    22. Karl Bringmann, Benjamin Doerr, Adrian Neumann, Jakub Sliacan
      Pages 255-266
    23. Tobias Brunsch, Heiko Röglin
      Pages 279-290
    24. Jan Bulánek, Michal Koucký, Michael Saks
      Pages 291-302
    25. T. -H. Hubert Chan, Mingfei Li, Li Ning, Shay Solomon
      Pages 315-327
    26. Chandra Chekuri, Guyslain Naves, F. Bruce Shepherd
      Pages 328-339
    27. Joseph Cheriyan, Zhihan Gao, Konstantinos Georgiou, Sahil Singla
      Pages 340-351
    28. Erik D. Demaine, John Iacono, Stefan Langerman, Özgür Özkan
      Pages 388-399
    29. Erik D. Demaine, Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller, Scott M. Summers, Damien Woods
      Pages 400-412
    30. Irit Dinur, Elazar Goldenberg
      Pages 413-424
    31. Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, Marc Vinyals
      Pages 437-448
    32. Dimitris Fotakis, Christos Tzamos
      Pages 449-460
    33. Anna C. Gilbert, Hung Q. Ngo, Ely Porat, Atri Rudra, Martin J. Strauss
      Pages 461-472
    34. Christian Glaßer, Dung T. Nguyen, Christian Reitwießner, Alan L. Selman, Maximilian Witek
      Pages 473-484
    35. Petr A. Golovach, Pinar Heggernes, Dieter Kratsch, Yngve Villanger
      Pages 485-496
    36. Roberto Grossi, Rajeev Raman, Satti Srinivasa Rao, Rossano Venturini
      Pages 504-515
    37. Heng Guo, Tyson Williams
      Pages 516-527
    38. Tom Gur, Ran Raz
      Pages 528-539
    39. Brett Hemenway, Rafail Ostrovsky, Mary Wootters
      Pages 540-551
    40. Martin Hirt, Pavel Raykov
      Pages 552-563
    41. Piotr Indyk, Ilya Razenshteyn
      Pages 564-575
    42. Yuval Ishai, Eyal Kushilevitz, Xin Li, Rafail Ostrovsky, Manoj Prabhakaran, Amit Sahai et al.
      Pages 576-588

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


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.


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

  • DOI
  • 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
  • Buy this book on publisher's site
Industry Sectors
IT & Software