Call For Papers - The World's Largest Index/List of Call For Papers

Mathematical Foundations of Computer Science

MFCS 2019

URL: http://tcs.rwth-aachen.de/mfcs2019/
Event Date: 2019-08-26 ~ 2019-08-30
Submission Date: 2019-04-22
Location: Aachen, Germany

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: To be announced
Late registration deadline: To be announced
Conference dates: August 26th–30th, 2019

Event Promotion

2024-06-02 ~ 2024-06-06

2024-08-19 ~ 2024-08-22

Mathematical Foundations of Computer Science

Event Promotion

Journal Promotion