会議情報
DCFS 2021: International Conference on Descriptional Complexity of Formal Systems
http://toc.yonsei.ac.kr/dcfs2021/
提出日:
2021-06-29 Extended
通知日:
2021-08-18
会議日:
2021-09-03
場所:
Seoul, Korea
年:
23
閲覧: 8401   追跡: 0   出席: 0

論文募集
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. 
最終更新 Dou Sun 2021-04-10
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
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
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
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
おすすめ