posted by user: ndisp || 7267 views || tracked by 17 users: [display]

MFCS 2015 : 40th International Symposium on Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://mfcs2015.di.unimi.it/
 
When Aug 24, 2015 - Aug 28, 2015
Where Milano, Italy
Submission Deadline Apr 22, 2015
Notification Due Jun 3, 2015
Final Version Due Jun 15, 2015
Categories    algorithms and data structures   game theory   computational complexity   computational geometry
 

Call For Papers

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

mfcs2015@di.unimi.it

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

Related Resources

CSIT 2024   IEEE 19th International Conference on Computer Science and Information Technologies
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
Sensors journal 2024   Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition