Advertisement

Computer Science – Theory and Applications

8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

  • Andrei A. Bulatov
  • Arseny M. Shur
Conference proceedings CSR 2013

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

Table of contents

  1. Front Matter
  2. Opening Lecture

    1. Mario Szegedy
      Pages 1-11
  3. Session 1: Algorithms

    1. Klaus Jansen, Stefan Kraft
      Pages 12-23
    2. Volker Diekert, Armin Weiß
      Pages 24-35
    3. Paweł Gawrychowski
      Pages 36-48
  4. Invited Lecture 1

  5. Session 2: Automata

    1. Amaldev Manuel, Anca Muscholl, Gabriele Puppis
      Pages 64-75
    2. Viliam Geffert, Zuzana Bednárová, Carlo Mereghetti, Beatrice Palano
      Pages 100-111
  6. Invited Lecture 2

  7. Session 3: Logic, Proof Complexity

  8. Invited Lecture 3

    1. Ryan Williams
      Pages 174-182
  9. Session 4: Complexity 1

  10. Invited Lecture 4

    1. Alexandr Kostochka, Matthew Yancey
      Pages 224-234
  11. Session 5: Words and Languages

    1. Romeo Rizzi, Stéphane Vialette
      Pages 235-245
    2. Jozef Jirásek, Galina Jirásková
      Pages 246-257
    3. Sergey Avgustinovich, Svetlana Puzynina
      Pages 258-270
    4. Mikhail N. Vyalyi
      Pages 271-282
  12. Invited Lecture 5

    1. Paul G. Spirakis, Panagiota N. Panagopoulou
      Pages 283-297
  13. Session 6: Algorithms 2

    1. Nicolas Boria, Cécile Murat, Vangelis Th. Paschos
      Pages 298-309
    2. Jiří. Fiala, Marek Tesař
      Pages 310-321
    3. Florent Madelaine, Barnaby Martin
      Pages 322-333
    4. Abuzer Yakaryılmaz
      Pages 334-346
  14. Invited Lecture 6

  15. Session 7: Complexity 2

    1. Timofey Stepanov
      Pages 354-365
    2. Abuzer Yakaryılmaz
      Pages 366-377
    3. Andreas Fröhlich, Gergely Kovásznai, Armin Biere
      Pages 378-390
  16. Invited Lecture 7

    1. Thomas Colcombet
      Pages 391-404
  17. Session 8: Logic, Automata

    1. Kshitij Bansal, Stéphane Demri
      Pages 405-417
    2. Manfred Droste, Vitaly Perevoshchikov
      Pages 418-430
    3. David Janin
      Pages 431-443
  18. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.

Keywords

computational complexity decidability formal methods multi-weighted automata prefix-free languages

Editors and affiliations

  • Andrei A. Bulatov
    • 1
  • Arseny M. Shur
    • 2
  1. 1.School of Computing ScienceSimon Fraser UniversityBurnabyCanada
  2. 2.Institute of Mathematics and Computer ScienceUral Federal UniversityEkaterinburgRussia

Bibliographic information

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