Fundamentals of Computation Theory

Country: France

City: Bordeaux

Abstr. due: 01.05.2017

Dates: 11.09.17 — 13.09.17

Area Of Sciences: Physics and math; Technical sciences;

Organizing comittee e-mail: fct2017@labri.fr.

Organizers: University of Bordeaux

 

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 and parameterized complexity
- computational geometry
- distributed and parallel computing
- online algorithms
- streaming algorithms

Formal methods:

- algebraic and categorical methods
- automata and formal languages
- computability and nonstandard computing models
- database theory
- foundations of concurrency and distributed systems
- logic and model checking
- models of reactive, hybrid and stochastic systems
- principles of programming languages
- program analysis and transformation
- security
- specification, refinement and verification
- 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

Conference Web-Site: http://fct2017.labri.fr/