FCT 2021

Event Rating

median	worst

List of all ratings can be found at FCT 2021/rating

FCT 2021
23rd International Symposium on Fundamentals of Computation Theory
Ordinal	23
Event in series	FCT
Dates	2021/09/12 (iCal) - 2021/09/15
Homepage:	http://www.corelab.ntua.gr/fct2021/
Submitting link:	https://easychair.org/account/signin?l=X6VeDivJJnte71RkysXYLr#
Location
Location:	GR/I/Athens, GR/I, GR
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":37.9755648,"lon":23.7348324,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2021/05/09
Papers:	2021/05/16
Notification:	2021/06/28
Camera ready due:	2021/07/06
Committees
General chairs:	Aris Pagourtzis, Dimitris Fotakis
PC chairs:	Evripidis Bampis, Aris Pagourtzis
Keynote speaker:	Constantinos Daskalakis, Daniel Marx, Claire Mathieu, Nobuko Yoshida
Table of Contents

The 23rd International Symposium on Fundamentals of Computation Theory (FCT) 2021

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 foundations of machine learning
• computational biology

Complexity:

• models of computation
• computational complexity
• decidability
• Boolean/algebraic circuits and functions
• randomized computation
• derandomization
• interactive proofs
• computational foundations of 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 related to the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. It is required that each accepted paper be presented at the conference by one of its authors. Submissions must not exceed 12 pages (excluding references), formatted according to LNCS LaTeX template and style files, plus an optional, clearly marked appendix of reasonable length (to be read at the program committee's discretion). 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 EasyChair via this link: https://easychair.org/account/signin?l=X6VeDivJJnte71RkysXYLr#.

Important Dates

Abstract registration: May 9, 2021 (AoE)
Full paper submission: May 16, 2021 (AoE)
Notification to authors: June 28, 2021
Camera-ready submission: July 6, 2021
Symposium: September 12-15, 2021