Mathematical Foundations of Computer Science 2015

40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

  • Giuseppe F. Italiano
  • Giovanni Pighizzini
  • Donald T. Sannella
Conference proceedings MFCS 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9235)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Fidaa Abed, Ioannis Caragiannis, Alexandros A. Voudouris
    Pages 1-13
  3. Eric Allender, Anna Gál, Ian Mertz
    Pages 14-25
  4. V. Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky
    Pages 26-37
  5. V. Arvind, Gaurav Rattan, Pushkar Joglekar
    Pages 38-49
  6. Martijn Baartse, Klaus Meer
    Pages 50-61
  7. Maxim Babenko, Andrew V. Goldberg, Haim Kaplan, Ruslan Savchenko, Mathias Weller
    Pages 62-74
  8. Neal Barcelo, Peter Kling, Michael Nugent, Kirk Pruhs, Michele Scquizzato
    Pages 75-89
  9. Neal Barcelo, Michael Nugent, Kirk Pruhs, Michele Scquizzato
    Pages 90-101
  10. Surender Baswana, Keerti Choudhary
    Pages 102-114
  11. Rémy Belmonte, Fedor V. Fomin, Petr A. Golovach, M. S. Ramanujan
    Pages 115-126
  12. Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck
    Pages 127-138
  13. Andreas Brandstädt, Konrad K. Dabrowski, Shenwei Huang, Daniël Paulusma
    Pages 139-150
  14. Vladimir Braverman, Zaoxing Liu, Tejasvam Singh, N. V. Vinodchandran, Lin F. Yang
    Pages 151-162
  15. Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora
    Pages 163-174
  16. Andrei A. Bulatov, Evgeny S. Skvortsov
    Pages 175-186
  17. Cafer Caferov, Barış Kaya, Ryan O’Donnell, A. C. Cem Say
    Pages 187-198
  18. Adam Case, Jack H. Lutz
    Pages 199-210
  19. Lin Chen, Nicole Megow, Roman Rischke, Leen Stougie, José Verschae
    Pages 211-222
  20. Daniyar Chumbalov, Andrei Romashchenko
    Pages 235-247
  21. Andreas Cord-Landwehr, Pascal Lenzner
    Pages 248-260
  22. Giovanni Di Crescenzo, Brian Coan, Jonathan Kirsch
    Pages 274-286
  23. Michael Etscheid, Stefan Kratsch, Matthias Mnich, Heiko Röglin
    Pages 287-298
  24. Stefan Fafianie, Stefan Kratsch
    Pages 299-310
  25. Diodato Ferraioli, Carmine Ventre
    Pages 311-323
  26. Hervé Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan
    Pages 324-335
  27. Jakub Gajarský, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
    Pages 336-347
  28. Robert Ganian, Eun Jung Kim, Stefan Szeider
    Pages 348-360
  29. Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas
    Pages 361-371
  30. Michael Hahn, Andreas Krebs, Klaus-Jörn Lange, Michael Ludwig
    Pages 384-394
  31. Tatiana R. Hartinger, Matthew Johnson, Martin Milanič, Daniël Paulusma
    Pages 395-406
  32. Udo Hoffmann, Linda Kleist, Tillmann Miltzow
    Pages 407-419
  33. Sune K. Jakobsen
    Pages 420-431
  34. Dmitry Kosolobov
    Pages 432-444
  35. Debasis Mandal, A. Pavan, N. V. Vinodchandran
    Pages 459-471
  36. Andrew McGregor, David Tench, Sofya Vorotnikova, Hoa T. Vu
    Pages 472-482
  37. Saad Mneimneh, Saman Farhat
    Pages 483-492
  38. Sandro Montanari, Paolo Penna
    Pages 493-504
  39. Moritz Mühlenthaler
    Pages 505-516
  40. Geevarghese Philip, Ashutosh Rai, Saket Saurabh
    Pages 517-528
  41. Mona Rahn, Guido Schäfer
    Pages 529-541
  42. Henning Schnoor, Oliver Woizekowski
    Pages 555-566
  43. Martijn van Ee, René Sitters
    Pages 567-576

Other volumes

  1. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
  2. Mathematical Foundations of Computer Science 2015
    40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

About these proceedings


This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).


approximation algorithms databases and knowledge-based systems foundations of computing quantum computing semantics and verification of programs algebra and categories in computer science algorithmic game theory algorithmic learning theory algorithms and data structures automata-computational complexity concurrency theory cryptography and security distributed computing formal specifications grammars and formal languages lambda-calculus linear programming logic-networks parallel computing program development

Editors and affiliations

  • Giuseppe F. Italiano
    • 1
  • Giovanni Pighizzini
    • 2
  • Donald T. Sannella
    • 3
  1. 1.University of Rome "Tor Vergata"RomeItaly
  2. 2.Università degli Studi di MilanoMilanItaly
  3. 3.University of EdinburghEdinburghUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-48053-3
  • Online ISBN 978-3-662-48054-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site