会议信息
FCT 2019: International Symposium on Fundamentals of Computation Theory
https://di.ku.dk/fct2019/
截稿日期:
2019-04-14 Extended
通知日期:
2019-05-19
会议日期:
2019-08-11
会议地点:
Copenhagen, Denmark
届数:
22
CORE: a   QUALIS: b2   浏览: 16845   关注: 5   参加: 0

征稿
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.
最后更新 Dou Sun 在 2019-04-12
录取率
时间提交数录取数录取率(%)
2019452146.7%
2017992929.3%
2015602745%
2013582644.8%
2011782835.9%
2009672943.3%
20071473926.5%
20051054643.8%
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
2MAEInternational Conference on Mechanical, Material and Aerospace Engineering2018-03-152018-04-052018-05-10
cab1ICONIPInternational Conference on Neural Information Processing2024-05-312024-07-262024-12-02
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 Processing2025-02-202025-03-202025-06-27
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 Development2024-10-022024-12-042025-02-26
ba2EDOCThe Enterprise Computing Conference2022-05-202022-07-042022-10-03
相关期刊
CCF全称影响因子出版商ISSN
Chinese Journal of Electronics CIE1022-4653
IEEE Systems Journal4.000IEEE1932-8184
International Journal on Web Service Computing AIRCC2230-7702
International Journal of Intelligent Computing and CyberneticsEmerald1756-378X
Enterprise Information Systems4.400Taylor & Francis1751-7575
bIEEE Transaction on Wireless Communications8.900IEEE1536-1276
Computing3.300Springer0010-485X
Engineering10.10Elsevier2095-8099
International Journal of IT/Business Alignment and Governance IGI Global1947-9611
Studia Logica0.600Springer0039-3215
推荐