44th International Symposium on

Mathematical Foundations of Computer Science

August 26-30, 2019, Aachen (Germany)


EATCS
MFCS 2019 is organized in cooperation with EATCS
 

  

Call for Papers

Please feel free to distribute the CfP as unformatted text format or via this web page.

Topics

We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following (alphabetically ordered):

  • 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-aided verification
  • 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
  • semantics and verification of programs
  • theoretical issues in artificial intelligence
  • types in computer science

Paper Submission and Proceedings

Paper submission is electronic. Please follow the submission instructions.

All submitted papers will be reviewed by the program committee.

Accepted papers will be collected into the conference proceedings.

Important Dates

Paper submission deadline:    Monday, April 22nd, 2019 (AoE)   
Notification of authors: Wednesday, June 12th, 2019   
Early registration deadline: Sunday, July 7th   
Standard registration deadline: Wednesday, July 31st   
Conference dates: August 26th–30th, 2019

Contact: Peter Rossmanith mfcs2019@cs.rwth-aachen.de Privacy Policy