MFCS: International Symposium on Mathematical Foundations of Computer Science

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
Part of the Lecture Notes in Computer Science book series (LNCS, 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

About these proceedings

Introduction

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).

Keywords

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 https://doi.org/10.1007/978-3-662-48054-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-48053-3
  • Online ISBN 978-3-662-48054-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349