MFCS 2019 : Mathematical Foundations of Computer Science

  in Conferences   Posted on February 10, 2019

Conference Information

Submission Deadline Monday 22 Apr 2019 Proceedings indexed by :
Conference Dates Aug 26, 2019 - Aug 30, 2019
Conference Address Aachen, Germany
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 302
Category Rankings
Computational Theory and Mathematics 35
Databases & Information Systems 77

Google Scholar H5-index:

Conference Call for Papers

Call for Papers

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


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


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: To be announced

Late registration deadline: To be announced

Conference dates: August 26th–30th, 2019

Other Conferences in Germany

WSA 2020 : Workshop on Smart Antennas

Deadline :
Fri 15 Nov 2019
Feb 18, 2020 - Feb 20, 2020 - Hamburg

ECOOP 2020 : European Conference on Object-oriented Programming (ECOOP)

Deadline :
Fri 10 Jan 2020
Jul 13, 2020 - Jul 17, 2020 - Berlin