posted by user: natema || 11912 views || tracked by 29 users: [display]

MFCS 2016 : International Symposium on Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://mfcs.ki.agh.edu.pl/
 
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
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

IEEE ICA 2022   The 6th IEEE International Conference on Agents
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
MLANN 2023   2023 Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2023)
IEEE, EI, Scopus-CTISC 2023   2023 5th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2023) -EI Compendex
CVIPPR 2023   2023 Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2023)
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
IEEE ICIVC 2023   IEEE--2023 8th International Conference on Image, Vision and Computing (ICIVC 2023)
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
ACM ICCBDC 2023   ACM--2023 7th International Conference on Cloud and Big Data Computing (ICCBDC 2023)
MSE 2023   7th International Conference on Materials Science and Engineering