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: 6003   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
CCFCOREQUALISShortFull NameSubmissionNotificationConference
GridComInternational Conference on Grid Computing2022-11-122022-11-152022-11-26
SLDTSingapore Learning Design and Technology Conference2019-04-152019-04-292019-08-01
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2022-12-082023-03-152023-06-12
IIoTBDSCInternational Conference on Industrial IoT, Big Data and Supply Chain2020-08-012020-08-172020-09-15
IWoSRInternational Workshop on Service Robotics2022-11-102022-11-202022-12-09
cbb2GMPGeometric Modeling and Processing2021-12-102022-02-042022-05-11
ReCoSoCInternational Symposium on Reconfigurable Communication-centric Systems-on-Chip2019-04-282019-06-042019-07-01
CCITInternational Conference on Creative Converged IT2014-01-052014-01-252014-04-09
baa1ICDCSInternational Conference on Distributed Computing Systems2023-01-142023-04-032023-07-18
DIPECCInternational Conference on Digital Information Processing, E-Business and Cloud Computing2015-05-29 2015-06-29
Recommendation