[DMANET] MFCS 2015: 1st call for papers

=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=


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/

=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

The series of MFCS symposia, organized since 1972, has a long and=20
well-established tradition. The MFCS symposia encourage high-quality=20
research in all branches of theoretical computer science. Their broad=20
scope provides an opportunity to bring together researchers who do not=20=

usually meet at specialized conferences. Quality papers presenting=20
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=C3=A0 degli Studi di Milano, =
Italy)
- Zoltan Esik (University of Szeged, Hungary, 40th =
anniversary speaker)
- Martin Kutrib (Universit=C3=A4t Giessen, Germany)
- Yishay Mansour (Tel Aviv University, Israel)



PROGRAM COMMITTEE

- Hee-Kap Ahn (POSTECH, Korea)
- Andris Ambainis (University of Latvia)
- Marie-Pierre B=C3=A9al (Universit=C3=A9 Paris-Est =
Marne-la-Vall=C3=A9e, France)
- Lars Birkedal (Aarhus University, Denmark)
- Jarek Byrka (University of Wroc=C5=82aw, Poland)
- Luis Caires (Universidade Nova de Lisboa, Portugal)
- Bruno Codenotti (CNR Pisa, Italy)
- Adriana Compagnoni (Stevens Institute of Technology, United =
States)
- Erzs=C3=A9bet Csuhaj-Varj=C3=BA (E=C3=B6tv=C3=B6s Lor=C3=A1nd =
University, Budpest, Hungary)
- Artur Czumaj (University of Warwick, United Kingdom)
- Rocco de Nicola (IMT Lucca, Italy)
- Martin Dietzfelbinger (Technische Universit=C3=A4t Ilmenau, =
Germany)
- Devdatt Dubashi (Chalmers, Sweden)
- Amos Fiat (Tel-Aviv University, Israel)
- Enrico Formenti (Universit=C3=A9 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=C3=A0 di Roma =E2=80=9CTor =
Vergata=E2=80=9D, Italy, co-chair)
- Martin Lange (Universit=C3=A4t Kassel, Germany)
- Massimo Lauria (KTH Royal Institute of Technology, =
Sweden)
- Inge Li G=C3=B8rtz (Technical University of Denmark)
- Alberto Marchetti-Spaccamela (Universit=C3=A0 di Roma =E2=80=9CSapienza=
=E2=80=9D, Italy)
- Elvira Mayordomo (Universidad de Zaragoza, Spain)
- Pierre McKenzie (Universit=C3=A9 de Montr=C3=A9al, =
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=C3=A0 degli Studi di Milano, =
Italy, chair)
- Alexander Rabinovich (Tel Aviv University, Israel)
- Rajeev Raman (University of Leicester, United =
Kingdom)
- Jean-Francois Raskin (Universit=C3=A9 Libre de Bruxelles, =
Belgium)
- Liam Roditty (Bar-Ilan University, Israel)
- Marie-France Sagot (Universit=C3=A9 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=C3=A0 degli Studi di Palermo, =
Italy)
- Ji=C5=99=C3=AD 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=20
Lecture Notes style and including bibliography). If the authors believe=20=

that more details are essential to substantiate the main claims, they=20
may include a clearly marked appendix that will be read at the=20
discretion of the program committee. Simultaneous submissions of papers=20=

to any other conference with published proceedings or submitting=20
previously published papers is not allowed. Only electronic submissions=20=

in the PDF format are accepted. Information about the submission=20
procedure will be available on the conference web page in due time. The=20=

proceedings will be published in the new ARCoSS subline of Lecture Notes=20=

in Computer Science by Springer-Verlag.



CONTACT

mfcs2015@di.unimi.it

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************