40th International Symposium on

Mathematical Foundations of Computer Science
MFCS 2015
Milano, August 24–28, 2015
http://mfcs2015.di.unimi.it/
Call for Papers
The series of MFCS symposia, organized since 1972, has a long and well-established tradition. The MFCS symposia
encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences. Quality papers presenting
original research on theoretical aspects of computer science are solicited.
Principal topics of interest include (but are not limited to): algorithms and data structures (incl. sequential, parallel
distributed, randomized, approximation, graph, network, on-line parameterized, optimization algorithms), algorithmic
game theory, algorithmic learning theory, computational complexity (structural and model-related), computational geometry, models of computation, networks (incl. wireless, sensor, ad-hoc networks), parallel and distributed computing,quantum computing, automata, grammars and formal languages, combinatorics on words, trees, and other structures,
bioinformatics, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledgebased systems, formal specifications and program development, foundations of computing, logic, algebra and categories
in computer science, types in computer science, mobile computing, semantics and verification of programs, theoreticalissues in artificial intelligence.
Invited speakers: Anindya Banerjee (IMDEA Software Institute, Madrid, Spain), Paolo Boldi (Università degli Studi
di Milano, Italy), Zoltan Esik (University of Szeged, Hungary, 40th anniversary speaker ), Martin Kutrib (UniversitätGiessen, Germany), Yishay Mansour (Tel Aviv University, Israel).
Program Committee: Hee-Kap Ahn (Korea), Andris Ambainis (Latvia), Marie-Pierre Béal (France), Lars Birkedal(Denmark), Jarek Byrka (Poland), Luis Caires (Portugal), Bruno Codenotti (Italy), Adriana Compagnoni (UnitedStates), Erzsébet Csuhaj-Varjú (Hungary), Artur Czumaj (United Kingdom), Rocco de Nicola (Italy), Martin Dietzfelbinger (Germany), Devdatt Dubashi (Sweden), Amos Fiat (Israel), Enrico Formenti (France), Pierre Fraigniaud(France), Matt Franklin (United States), Loukas Georgiadis (Greece), Jan Holub (Czech Republic), Markus Holzer(Germany), Giuseppe F. Italiano (Italy, co-chair ), Martin Lange (Germany), Massimo Lauria (Sweden), Inge LiGørtz (Denmark), Alberto Marchetti-Spaccamela (Italy), Elvira Mayordomo (Spain), Pierre McKenzie (Canada),
Friedhelm Meyer auf der Heide (Germany), Prakash Panangaden (Canada), Dana Pardubska (Slovakia), Kunsoo
Park (Korea), Giovanni Pighizzini (Italy, chair ), Alexander Rabinovich (Israel), Rajeev Raman (United Kingdom),Jean-Francois Raskin (Belgium), Liam Roditty (Israel), Marie-France Sagot (France), Piotr Sankowski (Poland), DonSannella (United Kingdom, co-chair ), Philippe Schnoebelen (France), Marinella Sciortino (Italy), Jiřı́ Sgall (CzechRepublic), Arseny Shur (Russia), Mariya I. Soskova (Bulgaria), Tarmo Uustalu (Estonia), Peter van Emde Boas (TheNetherlands), Jan van Leeuwen (The Netherlands), Dorothea Wagner (Germany), Peter Widmayer (Switzerland), Jiri
Wiedermann (Czech Republic), Christos Zaroliagis (Greece), Norbert Zeh (Canada).
Important dates:

Paper submission deadline:
Author notification:
Camera-ready deadline:
Conference:

April 22, 2015
June 3, 2015
June 12, 2015
August 24-28, 2015

Firm!

Paper submission: Submissions to MFCS must not exceed 12 pages (in Springer-Verlag’s Lecture Notes style andincluding bibliography). If the authors believe that more details are essential to substantiate the main claims, theymay include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneoussubmissions of papers to any other conference with published proceedings or submitting previously published papers
is not allowed. The proceedings will be published in the ARCoSS subline of Lecture Notes in Computer Science bySpringer-Verlag. Information about the submission procedure are available on the conference web page.
By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors will attend theconference and present the paper.
Contact: mfcs2015@di.unimi.it
The conference is organized by the Università degli Studi di Milano, Dipartimento di Informatica, in cooperation
with EATCS.