Conference Information
DCFS 2021: International Conference on Descriptional Complexity of Formal Systems
Submission Date:
Notification Date:
Conference Date:
Seoul, Korea
Viewed: 2683   Tracked: 0   Attend: 0

Conference Location
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-01-02
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
GridComInternational Conference on Grid Computing2020-11-282020-12-102020-12-19
SLDTSingapore Learning Design and Technology Conference2019-04-152019-04-292019-08-01
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2020-05-222020-07-252020-10-28
IIoTBDSCInternational Conference on Industrial IoT, Big Data and Supply Chain2020-08-012020-08-172020-09-15
IWoSRInternational Workshop on Service Robotics2021-01-202021-03-282021-06-21
cbb2GMPGeometric Modeling and Processing2020-12-162021-01-302021-05-10
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 Systems2021-01-062021-03-172021-07-07
DIPECCInternational Conference on Digital Information Processing, E-Business and Cloud Computing2015-05-29 2015-06-29