International Symposium on Mathematical Foundations of Computer Science

Країна: Польща

Місто: Krakow

Тези до: 21.04.2016

Дати: 22.04.16 — 26.08.16

Область наук: Фізико-математичні;

Е-мейл Оргкомітету:

Організатори: Leibniz Informatics Center


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.

Веб-сторінка конференції:

Конференції по темі - із близькими дедлайнами: