MFCS 2015 - 1st Call for Papers

40th International Symposium on Mathematical Foundations of Computer Science

August 24 - 28, 2015, Milano, Italy

http://mfcs2015.di.unimi.it/
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
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 knowledge-based 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
- theoretical issues in artificial intelligence

INVITED SPEAKERS

- Anindya Banerjee              (IMDEA Software Institute, Madrid, Spain)
- Paolo Boldi                   (UniversitΓ  degli Studi di Milano, Italy)
- Zoltan Esik                   (University of Szeged, Hungary, 40th anniversary speaker)
- Martin Kutrib                 (UniversitΓ€t Giessen, Germany)
- Yishay Mansour                (Tel Aviv University, Israel)

PROGRAM COMMITTEE
- Hee-Kap Ahn                   (POSTECH, Korea)
- Andris Ambainis               (University of Latvia)
- Marie-Pierre BΓ©al             (UniversitΓ© Paris-Est Marne-la-VallΓ©e, France)
- Lars Birkedal                 (Aarhus University, Denmark)
- Jarek Byrka                   (University of WrocΕ‚aw, Poland)
- Luis Caires                   (Universidade Nova de Lisboa, Portugal)
- Bruno Codenotti               (CNR Pisa, Italy)
- Adriana Compagnoni            (Stevens Institute of Technology, United States)
- ErzsΓ©bet Csuhaj-VarjΓΊ         (EΓΆtvΓΆs LorΓ‘nd University, Budpest, Hungary)
- Artur Czumaj                  (University of Warwick, United Kingdom)
- Rocco de Nicola               (IMT Lucca, Italy)
- Martin Dietzfelbinger         (Technische UniversitΓ€t Ilmenau, Germany)
- Devdatt Dubashi               (Chalmers, Sweden)
- Amos Fiat                     (Tel-Aviv University, Israel)
- Enrico Formenti               (UniversitΓ© de Nice-Sophia Antipolis, France)
- Pierre Fraigniaud             (CNRS and University Paris Diderot, France)
- Matt Franklin                 (UC Davis, United States)
- Loukas Georgiadis             (University of Ioannina, Greece)
- Jan Holub                     (Czech Technical University, Prague, Czech Republic)
- Markus Holzer                 (Giessen Universitat, Germany)
- Giuseppe F. Italiano          (UniversitΓ  di Roma β€œTor Vergata”, Italy, co-chair)
- Martin Lange                  (UniversitΓ€t Kassel, Germany)
- Massimo Lauria                (KTH Royal Institute of Technology, Sweden)
- Inge Li GΓΈrtz                 (Technical University of Denmark)
- Alberto Marchetti-Spaccamela  (UniversitΓ  di Roma β€œSapienza”, Italy)
- Elvira Mayordomo              (Universidad de Zaragoza, Spain)
- Pierre McKenzie               (UniversitΓ© de MontrΓ©al, Canada)
- Friedhelm Meyer auf der Heide (University of Paderborn, Germany)
- Prakash Panangaden            (McGill University, Canada)
- Dana Pardubska                (Comenius University, Bratislava, Slovakia)
- Kunsoo Park                   (KAIST, Korea)
- Giovanni Pighizzini           (UniversitΓ  degli Studi di Milano, Italy, chair)
- Alexander Rabinovich          (Tel Aviv University, Israel)
- Rajeev Raman                  (University of Leicester, United Kingdom)
- Jean-Francois Raskin          (UniversitΓ© Libre de Bruxelles, Belgium)
- Liam Roditty                  (Bar-Ilan University, Israel)
- Marie-France Sagot            (UniversitΓ© Claude Bernard, France)
- Piotr Sankowski               (University of Warsaw, Poland)
- Don Sannella                  (University of Edinburgh, United Kingdom, co-chair)
- Philippe Schnoebelen          (LSV, CNRS & ENS de Cachan, France)
- Marinella Sciortino           (UniversitΓ  degli Studi di Palermo, Italy)
- JiΕ™Γ­ Sgall                    (Charles University, Czech Republic)
- Arseny Shur                   (Ural Federal University, Russia)
- Mariya I. Soskova             (Sofia University, Bulgaria)
- Tarmo Uustalu                 (Tallinn University of Technology, Estonia)
- Peter van Emde Boas           (University of Amsterdam, The Netherlands)
- Jan van Leeuwen               (Universiteit Utrecht, The Netherlands)
- Dorothea Wagner               (Karlsruhe Institute of Technology, Germany)
- Peter Widmayer                (ETH Zurich, Switzerland)
- Jiri Wiedermann               (Academy of Sciences, Czech Republic)
- Christos Zaroliagis           (University of Patras, Greece)
- Norbert Zeh                   (Dalhousie University, Halifax, Canada)

IMPORTANT DEADLINES
- Paper submission deadline: April 22, 2015
- Author notification:       June   3, 2015
- Camera-ready deadline:     June  15, 2015
- Conference:            August 24-28, 2015

PAPER SUBMISSION
Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture Notes style and including bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in the PDF format are accepted. Information about the submission procedure will be available on the conference web page in due time. The proceedings will be published in the new ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag.

CONTACT
This e-mail address is being protected from spambots. You need JavaScript enabled to view it

The conference is organized by the UniversitΓ  degli Studi di Milano, Dipartimento di Informatica, in cooperation with EATCS.

e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.