Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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. 

Call for paper

Important date

2016-04-21
Abstract submission deadline
2016-04-25
Draft paper submission deadline

Submission Topics

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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Aug 22

    2016

    to

    Aug 26

    2016

  • Apr 21 2016

    Abstract Submission Deadline

  • Apr 25 2016

    Draft paper submission deadline

  • Aug 26 2016

    Registration deadline

Contact Information