posted by user: natema || 4355 views || tracked by 34 users: [display]

MFCS 2016 : International Symposium on Mathematical Foundations of Computer Science


Conference Series : Mathematical Foundations of Computer Science
When Aug 22, 2016 - Aug 26, 2016
Where Krakow (Poland)
Abstract Registration Due Apr 21, 2016
Submission Deadline Apr 25, 2016
Notification Due Jun 5, 2016
Final Version Due Jun 15, 2016
Categories    computer science   algorithms   distributed computing

Call For Papers

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
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

ICML 2017   34th International Conference on Machine Learning
ICCV 2017   International Conference on Computer Vision
IJE 2016   International Journal of Education
IEEE ICECCT 2017   2017 IEEE International Conference on Electrical, Computer and Communication Technologies
ICINCO 2017   International Conference on Informatics in Control, Automation and Robotics
DSAA 2017   The 4th IEEE International Conference on Data Science and Advanced Analytics 2017
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems