Conference Information
DCFS 2021: International Conference on Descriptional Complexity of Formal Systems
Submission Date:
2021-06-29 Extended
Notification Date:
Conference Date:
Seoul, Korea
Viewed: 6920   Tracked: 0   Attend: 0

Call For Papers

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
ReCoSoCInternational Symposium on Reconfigurable Communication-centric Systems-on-Chip2019-04-282019-06-042019-07-01
cbb2GMPGeometric Modeling and Processing2022-12-152023-03-312023-07-06
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