20th International Symposium on Fundamentals of Computation Theory

Е-мейл Оргкомітету: https://easychair.org/conferences/?conf=fct2015

Організатори: Gdansk University of Technology

The program committee is soliciting original and significant research
contributions to the Fundamentals of Computation Theory, including
(but not limited to):

Algorithms:
- algorithm design and optimization
- approximation, randomized, and heuristic methods
- circuits and boolean functions
- combinatorics and analysis of algorithms
- computational algebra
- computational complexity
- computational geometry
- online algorithms
- streaming algorithms
- distributed and parallel computing

Formal methods:
- algebraic and categorical methods
- automata and formal languages
- computability and nonstandard computing models
- database theory
- foundations of concurrency and distributed systems
- logics and model checking
- models of reactive, hybrid and stochastic systems
- principles of programming languages
- program analysis and transformation
- specification, refinement and verification
- security
- type systems

Emerging fields:
- ad hoc, dynamic and evolving systems
- algorithmic game theory
- computational biology
- foundations of cloud computing and ubiquitous systems
- quantum information and quantum computing

Веб-сторінка конференції: https://sites.google.com/site/fct2015gdansk/