FCT 2019

Deadlines

2019-05-19

2019-04-14

2019-06-02

14 Apr 2019

Paper

19 May 2019

Notification

2 Jun 2019

Camera-Ready

organization

University of Copenhagen

Metrics

Submitted Papers

45

Accepted Papers

21

Venue

University of Copenhagen, Copenhagen, Capital Region of Denmark, Denmark

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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":55.6801502,"lon":12.57232700140625,"icon":""}],"imageoverlays":null}

The 22nd Fundamentals of Computation Theory (FCT) 2019

Topics

Algorithms:

• algorithm design and optimization
• data structures
• combinatorics and analysis of algorithms
• randomized algorithms
• approximation algorithms
• parameterized and exact algorithms
• computational algebra and number theory
• computational geometry
• parallel algorithms
• distributed algorithms and protocols
• online algorithms
• streaming algorithms
• algorithmic game theory
• computational biology

Complexity:

• models of computation
• computational complexity
• decidability
• Boolean/algebraic circuits and functions
• randomized computation
• derandomization
• interactive proofs
• cryptography
• quantum computation
• complexity theory
• lower bounds
• counting complexity

Formal methods:

• algebraic and categorical methods
• automata and formal languages
• 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
• ad hoc, dynamic, and evolving systems
• foundations of cloud computing and ubiquitous systems

Submissions

Authors are invited to submit high-quality manuscripts reporting original unpublished research in the topics covered by the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. If relevant, authors have to disclose information on strongly-related papers that are in the publication or reviewing pipeline elsewhere. It is required that each accepted paper will be presented at the symposium by one of its authors.

Submissions must not exceed 12 pages (excluding references), formatted according to the LNCS style plus an optional, clearly marked appendix of reasonable length (to be read at the discretion of the program committee). The first page must include an indication of whether the paper is eligible for the best student paper award.

Papers are to be submitted electronically through Easy Chair at the following link: [Log in to Easy Chair for FCT 2019]

Important Dates

Full-paper submission: April 14, 2019 (AoE)
Notification to authors: May 19, 2019
Camera-ready submission: June 2, 2019
Symposium: August 11–14, 2019