Mathematical Foundations of Computer Science 2011

36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

  • Filip Murlak
  • Piotr Sankowski
Conference proceedings MFCS 2011

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Jörg Flum
      Pages 2-2
    2. Mai Gehrke
      Pages 3-18
    3. Daniel Kirsten
      Pages 19-33
    4. Prasad Raghavendra
      Pages 34-34
    5. Paul Wollan
      Pages 35-35
  3. Contributed Papers

    1. Paolo Baldan, Fabio Gadducci, Pawel Sobociński
      Pages 48-59
    2. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus Thrane
      Pages 60-71
    3. Petra Berenbrink, Robert Elsässer, Tom Friedetzky, Lars Nagel, Thomas Sauerwald
      Pages 72-83
    4. Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas et al.
      Pages 84-95
    5. Michel Blockelet, Sylvain Schmitz
      Pages 108-119
    6. Andrej Bogdanov, Akinori Kawachi, Hidetoki Tanaka
      Pages 120-131
    7. Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun
      Pages 132-144
    8. Olivier Bournez, Daniel S. Graça, Amaury Pouly
      Pages 170-181
    9. Robert Bredereck, André Nichterlein, Rolf Niedermeier, Geevarghese Philip
      Pages 182-193
    10. Krishnendu Chatterjee, Laurent Doyen
      Pages 206-218
    11. David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Živný
      Pages 231-242
    12. Thomas Colcombet, Clemens Ley, Gabriele Puppis
      Pages 243-255
    13. Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
      Pages 266-277
    14. Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
      Pages 278-289
    15. Balder ten Cate, Alessandro Facchini
      Pages 290-302
    16. John Fearnley, Oded Lachish
      Pages 303-314
    17. Peter Franek, Stefan Ratschan, Piotr Zgliczynski
      Pages 315-326
    18. Paweł Gawrychowski, Artur Jeż, Andreas Maletti
      Pages 327-338
    19. Petr A. Golovach, Marcin Kamiński, Daniël Paulusma
      Pages 339-350
    20. Marats Golovkins, Maksim Kravtsev, Vasilijs Kravcevs
      Pages 351-363
    21. Edith Hemaspaandra, Henning Schnoor
      Pages 364-375
    22. Jun Hosoda, Juraj Hromkovič, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada
      Pages 376-387
    23. Anne-Marie Kermarrec, Christopher Thraves
      Pages 388-399
    24. Andreas Krebs, Nutan Limaye, Srikanth Srinivasan
      Pages 412-423
    25. Dietrich Kuske, Thomas Weidner
      Pages 424-435
    26. Richard J. Lipton, Kenneth W. Regan, Atri Rudra
      Pages 436-447
    27. Markus Lohrey
      Pages 448-459
    28. Andreas Maletti, Daniel Quernheim
      Pages 460-471
    29. Florin Manea, Robert Mercaş, Cătălin Tiseanu
      Pages 472-484
    30. Alexander Okhotin, Kai Salomaa
      Pages 485-496
    31. Christophe Paul, Anthony Perez, Stéphan Thomassé
      Pages 497-507
    32. Wladimir Fridman, Bernd Puchala
      Pages 532-543

About these proceedings


This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 129 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.


constraint optimization finite automata graph drawing modal logic weighted polymorphisms

Editors and affiliations

  • Filip Murlak
    • 1
  • Piotr Sankowski
    • 1
  1. 1.Institute of InformaticsUniversity of WarsawWarsawPoland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-22992-3
  • Online ISBN 978-3-642-22993-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment