MFCS: Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2016

This is a preliminary call for papers for MFCS-2016. We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:
algorithmic game theory
algorithmic learning theory
algorithms and data structures (incl. sequential, parallel distributed, randomized, approximation, graph, network, on-line parameterized, optimization algorithms)
automata and formal languages
bioinformatics
combinatorics on words, trees, and other structures
computational complexity (structural and model-related)
computational geometry
computer-assisted reasoning
concurrency theory
cryptography and security
databases and knowledge-based systems
formal specifications and program development
foundations of computing
logic, algebra and categories in computer science
mobile computing
models of computation
networks (incl. wireless, sensor, ad-hoc networks)
parallel and distributed computing
quantum computing
semantics and verification of programs
theoretical issues in artificial intelligence
types in computer science
Paper submission will be electronic via a link available at this website.
All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings.
 

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACML 2017   The 9th Asian Conference on Machine Learning
ICONIP 2017   International Conference on Neural Information Processing
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
DMCIT 2017   ACM-2017 International Conference on Data Mining, Communications and Information Technology(DMCIT 2017)--EI
IEEE-ICDDM 2017   IEEE--2017 6th International Workshops on Database and Data Mining (ICDDM 2017)--Ei Compendex
CSCESM 2017   The Fourth International Conference on Computer Science, Computer Engineering and Social Media
GCPR 2017   39th German Conference on Pattern Recognition, 2017
PReMI 2017   Seventh International Conference on Pattern Recognition and Machine Intelligence