MFCS 2017: 42nd International Symposium on Mathematical Foundations of Computer Science Dept. of Computer Science, Aalborg University Aalborg, Denmark, August 21-25, 2017 |
Conference website | http://mfcs2017.cs.aau.dk/ |
Abstract registration deadline | April 24, 2017 |
Submission deadline | April 28, 2017 |
Notification of authors | June 12, 2017 |
Camera-ready copies due | June 22, 2017 |
BACKGROUND
MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark.
MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.
MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.
TOPICS
We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:
- algebraic and co-algebraic methods in computer science
- algorithms and data structures
- automata and formal languages
- bioinformatics
- combinatorics on words, trees, and other structures
- computational complexity (structural and model-related)
- computational geometry
- computer-assisted reasoning
- concurrency theory
- cryptography and security
- databases and knowledge-based systems
- formal specifications and program development
- foundations of computing
- logics in computer science
- mobile computing
- models of computation
- networks (incl. wireless, sensor, ad-hoc networks)
- parallel and distributed computing
- quantum computing
- semantics and verification of programs
- theoretical issues in artificial intelligence
- types in computer science
INVITED SPEAKERS
- Glynn Winskel (University of Cambridge, UK)
- Michał Pilipczuk (University of Warsaw, Poland)
- Rasmus Pagh (IT University of Copenhagen, Denmark)
- Nicolas Markey (LSV - CNRS & ENS Cachan, France)
- Philippe Schnoebelen (LSV - CNRS & ENS Cachan, Université Paris-Saclay, France)
PROGRAM COMMITTEE:
- Kim G. Larsen (Aalborg University, Denmark, chair)
- Hans L. Bodlaender (Eindhoven University of Technology, Netherlands, co-chair)
- Jean-Francois Raskin (Universite Libre de Bruxelles, Belgium, co-chair)
- Alexander Kurz (University of Leicester, UK)
- Aniello Murano (Università degli Studi di Napoli Federico II, Italy)
- Arno Pauly (Universite Libre de Bruxelles, Belgium)
- Axel Legay (IRISA/INRIA, Rennes, France)
- Bartek Klin (University of Warsaw, Poland)
- Bettina Speckmann (TU Eindhoven, Netherlands)
- Christof Löding (RWTH Aachen, Germany)
- Damien Pous (CNRS - ENS Lyon, France)
- Dana Pardubska (Comenius University, Slovakia)
- Dexter Kozen (Cornell University, USA)
- Doron Peled (Bar Ilan University, Israel)
- Franck Cassez (Macquarie University, Australia)
- Hans Raj Tiwary (Charles University, Czech Republic)
- Jiri Wiedermann (Academy of Sciences, Czech Republic)
- Jörg Rothe (Universität Düsseldorf, Germany)
- Kasper Green Larsen (MADALGO, Aarhus University, Denmark)
- Lars Birkedal (Aarhus University, Denmark)
- Luca Moscardelli (University of Chieti-Pescara, Italy)
- Manfred Droste (Leipzig University, Germany)
- Manuel Bodirsky (TU Dresden, Germany)
- Martin Lange (University of Kassel, Germany)
- Matteo Mio (CNRS - ENS-Lyon, France)
- Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France)
- Pawel Gawrychowski (University of Haifa, Israel)
- Peter Van Emde Boas (ILLC-FNWI-Universiteit van Amsterdam (emeritus), Netherlands)
- Petteri Kaski (Helsinki Institute for Information Technology HIIT, Aalto University, Finland)
- Pierre-Yves Schobbens (University of Namur, Belgium)
- Prakash Panangaden (McGill University, Canada)
- Radu Mardare (Aalborg University, Denmark)
- Raffaella Gentilini (University of Perugia, Italy)
- Ramamohan Paturi (University of California, USA)
- Rocco De Nicola (IMT - School for Advanced Studies Lucca, Italy)
- Rod Downey (Victoria University of Wellington, New Zealand)
- Roland Meyer (TU Braunschweig, Germany)
- Sam Staton (Oxford University, UK)
- Sławomir Lasota (Warsaw University, Poland)
- Stephan Kreutzer (Technical University Berlin, Germany)
- Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology, Estonia)
- Udi Boker (Interdisciplinary Center (IDC) Herzliya, Israel)
- Vojtech Forejt (Oxford University, UK)
LOCAL ORGANIZERS (Aalborg University)
- Giorgio Bacci
- Giovanni Bacci
- Radu Mardare
- Jiri Srba
- Rikke W. Uhrenholt
All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings.
PAPER SUBMISSION
Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs17
Submissions should be prepared according to the following instructions:
Papers should be formatted using the LIPIcs style (see LIPIcs: Instructions for Authors for style files, examples, and manuals)
Length: up to 12 pages (excluding references and an optional appendix)
References and an optional appendix can go beyond the 12 pages (the appendix will be consulted at the discretion of the program committee). It is mandatory to use pdflatex.
No prior publication or simultaneous submission to other conferences or journals are allowed (but submissions to preprint repositories such as arXiv or workshops without formal published proceedings are allowed)