Conference Information
FCT 2019: International Symposium on Fundamentals of Computation Theory
https://di.ku.dk/fct2019/
Submission Date:
2019-04-14 Extended
Notification Date:
2019-05-19
Conference Date:
2019-08-11
Location:
Copenhagen, Denmark
Years:
22
CORE: a   QUALIS: b2   Viewed: 8736   Tracked: 5   Attend: 0

Conference Location
Call For Papers
Authors are invited to submit original research papers in all areas related to the foundations of computer science (algorithms, complexity, and formal methods).

About the symposium

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular in algorithms, complexity, formal and logical methods. FCT is a biennial conference that circulates on a regular basis in Eastern Europe, Western Europe, and the Nordic countries.

Scope

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
    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

Proceedings

Symposium proceedings will be published in the ARCoSS subline of the Springer Lecture Notes in Computer Science [LNCS] series.
Last updated by Dou Sun in 2019-04-12
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2015602745%
2013582644.8%
2011782835.9%
2009672943.3%
20071473926.5%
20051054643.8%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
2MAEInternational Conference on Mechanical, Material and Aerospace Engineering2018-03-152018-04-052018-05-10
cab1ICONIPInternational Conference on Neural Information Processing2020-06-012020-08-152020-11-18
MicDATInternational Conference on Microelectronic Devices and Technologies2020-03-152020-04-152020-06-17
WCECSWorld Congress on Engineering and Computer Science2015-07-23 2015-10-21
ICGSPInternational Conference on Graphics and Signal Processing2020-05-052020-05-202020-06-26
AMSIEInternational conference on Advanced Management Science and Information Engineering2017-06-15 2017-06-25
IHCIInternational Conference on Intelligent Human Computer Interaction2020-07-152020-08-252020-11-24
BigSDMInternational Conference on Big Scientific Data Managemen2018-09-302018-10-202018-11-30
MODELSWARDInternational Conference on Model-Driven Engineering and Software Development2020-09-142020-11-122021-02-08
ba2EDOCThe Enterprise Computing Conference2020-04-262020-06-282020-10-05
Recommendation