posted by user: sadegh_rk || 972 views || tracked by 1 users: [display]

DCFS 2023 : 25th International Conference on Descriptional Complexity of Formal Systems


Conference Series : Descriptional Complexity of Formal Systems
When Jul 4, 2023 - Jul 6, 2023
Where Potsdam, Germany
Submission Deadline Mar 1, 2023
Notification Due Apr 1, 2023
Final Version Due Apr 20, 2023
Categories    formal methods   automata   languages

Call For Papers

The workshop is organized by the Department of Computer Science of the University of Potsdam, Germany, and by the IFIP Working Group 1.02 "Descriptional Complexity". As long as sanitary conditions allow, the conference will take place on-site.

Submission Guidelines
Authors are invited to submit original research papers in electronic form. All submissions should be prepared according to the the details explained at the web-page of DCFS 2023 ( and will go through a usual review process. Simultaneous submissions to other conferences or workshops with published proceedings are not allowed.

List of Topics
Original research papers concerning the descriptional complexity of formal systems and structures(and its applications) are sought for DCFS 2023.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.

Henning Bordihn (University of Potsdam, Germany) - co-chair
Szilárd Zsolt Fazekas (Akita University, Japan)
Henning Fernau (University of Trier, Germany)
Yo-Sub Han (Yonsei University, South Korea)
Michal Hospodár (Slovak Academy of Sciences, Kosice)
Galina Jirásková (Slovak Academy of Sciences, Košice, Slovakia)
Stavros Konstantinidis (Saint Mary's University, Halifax, Canada)
Orna Kupferman (Hebrew University, Israel)
Sylvain Lombardy (University of Bordeaux, France)
Andreas Malcher (Universität Giessen, Germany)
Carlo Mereghetti (Università degli Studi di Milano, Italy)
Nelma Moreira (Universidade do Porto, Portugal)
Dana Pardubska (Comenius Unversity, Bratislava, Slovak Republic)
Giovanni Pighizzini (University of Milan, Italy)
Kai Salomaa (Queen's University, Canada)
Shinnosuke Seki (The University of Electro-Communications, Chofu, Japan)
Petr Sosik (Silesian University Opava, Czech Republic)
Nicholas Tran (Santa Clara University, USA) - co-chair
György Vaszil (University of Debrecen, Hungary) co-chair
Organizing committee
Henning Bordihn (University of Potsdam, Germany)
Tim Richter (University of Potsdam, Germany)
Alexandra Roy (University of Potsdam, Germany)

DCFS 2023 proceedings will be published as a volume in the series Lecture Notes in
Computer Science (LNCS), Springer-Verlag.

A special issue of a renowned journal will be devoted to revised and extended versions of selected papers of the conference.

The conference will be held in Potsdam, Germany.

All questions about submissions should be emailed to Henning Bordihn (

Related Resources

AVC 2023   Advances in Vision Computing: An International Journal
NLDML 2024   3rd International Conference on NLP, Data Mining and Machine Learning
CGDEIJ 2023   Computer Game Development and Education: An International Journal
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
DMS 2023   14th International conference on Database Management Systems
HICSS- Mini-track DSSF 2024   CFP: HICSS- Mini-track Decision Systems for smart farming
NLP 2023   12th International Conference on Natural Language Processing
IEEE ACIRS 2024   IEEE--2024 the 9th Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2024)
FM 2024   Formal Methods
ICAUAS 2024   2024 International Conference on Advanced Unmanned Aerial Systems (ICAUAS 2024)