Advertisement

Automata, Languages, and Programming

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

  • Fedor V. Fomin
  • Rūsiņš Freivalds
  • Marta Kwiatkowska
  • David Peleg

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

Table of contents

  1. Front Matter
  2. EATCS Lecture

  3. Invited Talks

    1. Shaull Almagor, Udi Boker, Orna Kupferman
      Pages 15-27
    2. Paul G. Spirakis, Sotiris Nikoletseas, Christoforos Raptopoulos
      Pages 29-35
  4. Track B – Logic, Semantics, Automata and Theory of Programming

    1. Rajeev Alur, Mukund Raghothaman
      Pages 37-48
    2. Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki et al.
      Pages 74-88
    3. Udi Boker, Denis Kuperberg, Orna Kupferman, Michał Skrzypczak
      Pages 89-100
    4. Facundo Carreiro, Daniel Gorín, Lutz Schröder
      Pages 101-112
    5. Émilie Charlier, Teturo Kamae, Svetlana Puzynina, Luca Q. Zamboni
      Pages 113-124
    6. Hubie Chen, Dániel Marx
      Pages 125-136
    7. Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
      Pages 137-149
    8. Wojciech Czerwiński, Wim Martens, Tomáš Masopust
      Pages 150-161
    9. Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
      Pages 162-173
    10. Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
      Pages 187-198
    11. Kousha Etessami, Alistair Stewart, Mihalis Yannakakis
      Pages 199-211
    12. John Fearnley, Marcin Jurdziński
      Pages 212-223
    13. Oliver Friedmann, Felix Klaedtke, Martin Lange
      Pages 224-237
    14. Robert Ganian, Petr Hliněný, Daniel Král’, Jan Obdržálek, Jarett Schwartz, Jakub Teska
      Pages 250-262
    15. Marcus Gelderie
      Pages 263-274
    16. Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
      Pages 275-286
    17. Georg Gottlob, Andreas Pieris, Lidia Tendera
      Pages 287-298
    18. Hyeonseung Im, Keiko Nakata, Sungwoo Park
      Pages 299-311
    19. Gregory M. Kobele, Sylvain Salvati
      Pages 336-348
    20. Daniel Leivant, Jean-Yves Marion
      Pages 349-360
    21. Markus Lohrey, Benjamin Steinberg, Georg Zetzsche
      Pages 361-372
    22. Luca Padovani
      Pages 373-384
    23. Tomas Petricek, Dominic Orchard, Alan Mycroft
      Pages 385-397
    24. Georg Zetzsche
      Pages 434-445
  5. Track C – Foundations of Networked Computation

    1. Susanne Albers, Achim Passen
      Pages 446-458
    2. Luca Becchetti, Vincenzo Bonifaci, Michael Dirnberger, Andreas Karrenbauer, Kurt Mehlhorn
      Pages 472-483
    3. L. Elisa Celis, Dimitrios C. Gklezakos, Anna R. Karlin
      Pages 484-495
    4. George Christodoulou, Martin Gairing
      Pages 496-507
    5. Jurek Czyzowicz, Evangelos Kranakis, Eduardo Pacheco
      Pages 508-519
    6. Dariusz Dereniowski, Yann Disser, Adrian Kosowski, Dominik Pająk, Przemysław Uznański
      Pages 520-532
    7. Yoann Dieudonné, Andrzej Pelc
      Pages 533-544
    8. Sebastian Faust, Carmit Hazay, Daniele Venturi
      Pages 545-556
    9. Emanuele G. Fusco, Andrzej Pelc, Rossella Petreschi
      Pages 557-568

Other volumes

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

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 Science, Wolfson Building, Parks RoadUniversity of OxfordOxfordUK
  4. 4.Faculty of Mathematics and Computer ScienceWeizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39212-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39211-5
  • Online ISBN 978-3-642-39212-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site