FCT 2017

FCT 2017
21st Fundamentals of Computation Theory
Ordinal	21
Event in series	FCT
Dates	2017/09/11 (iCal) - 2017/09/13
Homepage:	fct2017.labri.fr/
Location
Location:	Bordeaux, France
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":44.841225,"lon":-0.5800364,"icon":""}],"imageoverlays":null}
Table of Contents

The 21st Fundamentals of Computation Theory (FCT) 2017

Topics

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

Important Dates

Abstract registration: May 1, 2017 (AoE)
Full paper submission: May 8, 2017 (AoE)
Notification to authors: June 16, 2017
Final version due: June 28, 2017
Conference dates: September 11-13, 2017