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: 8147   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
MISDOOMMultidisciplinary International Symposium on Disinformation in Open Online Media2023-06-302023-08-282023-11-21
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 Systems2023-12-082024-03-152024-06-19
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 Processing2024-12-092025-04-142025-05-28
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 Systems2024-12-042025-04-022025-07-20
Related Journals
CCFFull NameImpact FactorPublisherISSN
Archival Science1.400Springer1389-0166
IEEE Transactions on Power Systems6.500IEEE0885-8950
cPervasive and Mobile Computing3.000Elsevier1574-1192
International Journal of Advanced Smart Sensor Network Systems AIRCC2231-5225
bComputer Vision and Image Understanding4.300Elsevier1077-3142
cInformation Management & Computer Security Emerald0968-5227
International Journal of Computerized DentistryQuintessenz Verlags GmbH1463-4201
cBehaviour & Information Technology2.900Taylor & Francis0144-929X
New Ideas in Psychology2.300Elsevier0732-118X
International Journal of Biomedical Imaging3.300Hindawi1687-4188
Recommendation