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, and most recently, in 2015, in Italy). This year the conference visits Poland once again.
MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interations between researchers who might not meet at more specialized venues.
MFCS 2016 will consist of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science.
We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:
algorithmic game theory
algorithmic learning theory
algorithms and data structures (incl. sequential, parallel distributed, randomized, approximation, graph, network, on-line, parameterized, optimization algorithms)
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
logic, algebra and categories 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
Aug 22
2016
Aug 26
2016
Abstract Submission Deadline
Draft paper submission deadline
Registration deadline
Submit Comment