MFCS: Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MFCS 2019 Mathematical Foundations of Computer Science
Aug 26, 2019 - Aug 30, 2019 Aachen, Germany Apr 22, 2019
MFCS 2018 Mathematical Foundations of Computer Science
Aug 27, 2018 - Aug 31, 2018 Liverpool, UK Apr 24, 2018 (Apr 20, 2018)
MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science
Aug 21, 2017 - Aug 25, 2017 Aalborg, Denmark Apr 24, 2017 (Apr 20, 2017)
MFCS 2016 International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2016 - Aug 26, 2016 Krakow (Poland) Apr 25, 2016 (Apr 21, 2016)
MFCS 2015 40th International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2015 - Aug 28, 2015 Milano, Italy Apr 22, 2015
MFCS 2014 39th International Symposium on Mathematical Foundations of Computer Science
Aug 25, 2014 - Aug 29, 2014 Budapest, Hungary Apr 18, 2014
MFCS 2013 38 International Symposium on Mathematical Foundations of Computer Science
Aug 26, 2013 - Aug 30, 2013 Klosterneuburg, Austria Apr 19, 2013
MFCS 2011 36th International Symposium on Mathematical Foundations of Computer Science
Aug 22, 2011 - Aug 26, 2011 Warsaw, Poland Apr 15, 2011
MFCS 2010 35th International Symposium on Mathematical Foundations of Computer Science
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Republic Apr 15, 2010 (Apr 10, 2010)
MFCS 2009 34st International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2009 - Aug 28, 2009 Novy Smokovec, Slovakia Apr 15, 2009 (Apr 10, 2009)
 
 

Present CFP : 2019


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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
DSAA 2019   The 6th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2019)
ICSC 2020   14th IEEE International Conference on ​Semantic Computing
ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
CDKE 2019   Conversational Data and Knowledge Engineering
GreeNet Symposium - SGNC 2019   10th Symposium on Green Networking and Computing (SGNC 2019)
IJCNC 2019   SI - Applied Soft Computing in Computer Networking: Potentials & Challenges
NLPIR--ACM, Ei and Scopus 2019   ACM2019 3rd International Conference on Natural Language Processing and Information Retrieval (NLPIR 2019)--Ei Compendex and Scopus
ICSCA--Ei, Scopus 2020   2020 9th International Conference on Software and Computer Applications (ICSCA 2020)--Ei Compendex, Scopus