Conference Information
DCFS 2021: International Conference on Descriptional Complexity of Formal Systems
http://toc.yonsei.ac.kr/dcfs2021/Submission Date: |
2021-06-29 Extended |
Notification Date: |
2021-08-18 |
Conference Date: |
2021-09-03 |
Location: |
Seoul, Korea |
Years: |
23 |
Viewed: 6920 Tracked: 0 Attend: 0
Call For Papers
TOPICS Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2021. Original papers are sought in all aspects of descriptional complexity, topics include, but are not limited to: Automata, grammars, languages and other formal systems; various modes of operations and complexity measures. Succinctness of description of objects, state-explosion-like phenomena. Circuit complexity of Boolean functions and related measures. Size complexity of formal systems. Structural complexity of formal systems. Trade-offs between computational models and mode of operation. Applications of formal systems - for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages - and their complexity constraints. Co-operating formal systems. Size or structural complexity of formal systems for modeling natural languages. Complexity aspects related to the combinatorics of words. Descriptional complexity in resource-bounded or structure-bounded environments. Structural complexity as related to descriptional complexity. Frontiers between decidability and undecidability. Universality and reversibility. Nature-motivated (bio-inspired) architectures and unconventional models of computing. Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information.
Last updated by Dou Sun in 2021-04-10
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
GridCom | International Conference on Grid Computing | 2022-11-12 | 2022-11-26 |
SLDT | Singapore Learning Design and Technology Conference | 2019-04-15 | 2019-08-01 |
ICECCS | International Conference on Engineering of Complex Computer Systems | 2022-12-08 | 2023-06-12 |
IIoTBDSC | International Conference on Industrial IoT, Big Data and Supply Chain | 2020-08-01 | 2020-09-15 |
IWoSR | International Workshop on Service Robotics | 2022-11-10 | 2022-12-09 |
ReCoSoC | International Symposium on Reconfigurable Communication-centric Systems-on-Chip | 2019-04-28 | 2019-07-01 |
GMP | Geometric Modeling and Processing | 2022-12-15 | 2023-07-06 |
CCIT | International Conference on Creative Converged IT | 2014-01-05 | 2014-04-09 |
ICDCS | International Conference on Distributed Computing Systems | 2023-01-14 | 2023-07-18 |
DIPECC | International Conference on Digital Information Processing, E-Business and Cloud Computing | 2015-05-29 | 2015-06-29 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IEEE Transactions on Cognitive and Developmental Systems | 2.755 | IEEE | 2379-8920 | |
Sustainable Computing: Informatics and Systems | 4.028 | Elsevier | 2210-5379 | |
c | Future Generation Computer Systems | 7.307 | Elsevier | 0167-739X |
b | INFORMS Journal on Computing | 1.392 | INFORMS | 1091-9856 |
c | Decision Support Systems | 6.969 | Elsevier | 0167-9236 |
ACM Transactions on Spatial Algorithms and Systems | ACM | 2374-0353 | ||
Australasian Journal of Engineering Education | Taylor & Francis | 1325-4340 | ||
International Journal of Instrumentation and Control Systems | AIRCC | 2319-412X | ||
International Journal of Distributed and Parallel Systems | AIRCC | 2229-3957 | ||
b | ACM Transactions on Design Automation of Electronic Systems | 0.85 | ACM | 1084-4309 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Cognitive and Developmental Systems | 2.755 | IEEE |
Sustainable Computing: Informatics and Systems | 4.028 | Elsevier |
Future Generation Computer Systems | 7.307 | Elsevier |
INFORMS Journal on Computing | 1.392 | INFORMS |
Decision Support Systems | 6.969 | Elsevier |
ACM Transactions on Spatial Algorithms and Systems | ACM | |
Australasian Journal of Engineering Education | Taylor & Francis | |
International Journal of Instrumentation and Control Systems | AIRCC | |
International Journal of Distributed and Parallel Systems | AIRCC | |
ACM Transactions on Design Automation of Electronic Systems | 0.85 | ACM |
Recommendation