posted by user: timwylie || 7425 views || tracked by 9 users: [display]

MFCS 2019 : Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://tcs.rwth-aachen.de/mfcs2019/
 
When Aug 26, 2019 - Aug 30, 2019
Where Aachen, Germany
Submission Deadline Apr 22, 2019
Notification Due Jun 12, 2019
Final Version Due Jul 1, 2019
Categories    theory   algorithms   computer science
 

Call For Papers


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

Related Resources

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
ICSR 2022   20th International Conference on Software and Systems Reuse
ACM-EI/Scopus-ACAI 2021   2021 4th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2021)
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
SCI,EI,SCOPUS 2022   2022 International Conference on Computer Science and 3D Printing Technologies (ICCS3PT 2022)
EI Compendex, Scopus-EECT 2022   2022 2nd International Conference on Electrical, Electronics and Computing Technology (EECT 2022)