DCFS 2025 - Call for Papers
26th International Conference on Descriptional Complexity of Formal Systems
July 22-24, 2025, Loughborough, UK
https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/
============================================================================
DCFS 2025 will be held in Loughborough, UK, on July 22-24, 2025.
The conference is organized by the Department of Computer Science, Loughborough
University, and by the IFIP Working Group 1.02 "Descriptional Complexity".
The conference will be co-located with NCMA 2025 (July 21-22, 2025).
PRINCIPAL TOPICS
Submissions concerning the descriptional complexity of formal systems and
structures (and its applications) are invited for DCFS 2025. 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.
INVITED SPEAKERS
- Giuseppa Castiglione (Palermo, Italy)
- Ian McQuillan (Saskatoon (SK), Canada)
- Irek Ulidowski (Leicester, UK)
PROGRAM COMMITTEE
- Henning Bordihn (Potsdam, Germany)
- Pascal Caron (Rouen, France)
- Szilárd Zsolt Fazekas (Akita, Japan)
- Dora Giammarresi (Rome, Italy)
- Yo-Sub Han (Seoul, Korea)
- Galina Jirásková (Košice, Slovakia)
- Stavros Konstantinidis (Halifax (NS), Canada)
- Martin Kutrib (Giessen, Germany)
- Sylvain Lombardy (Bordeaux, France)
- Andreas Malcher (Giessen, Germany, co-chair)
- Dana Pardubská (Bratislava, Slovakia)
- Luca Prigioniero (Loughborough, United Kingdom, co-chair)
- Rogério Reis (Porto, Portugal)
- Kai Salomaa (Kingston (ON), Canada)
- Marinella Sciortino (Palermo, Italy)
- Shinnosuke Seki (Tokyo, Japan)
- Taylor Smith (Antigonish (NS), Canada)
- Nicholas Tran (Santa Clara (CA), USA)
- György Vaszil (Debrecen, Hungary)
- Hsu-Chun Yen (Taipei, Taiwan)
IMPORTANT DATES
- Paper submission deadline: March 29, 2025
- Author notification: April 27, 2025
- Camera-ready deadline: May 11, 2025
- Conference: July 22-24, 2025
PAPER SUBMISSION
Submissions to DCFS must not exceed 12 pages (in Springer-Verlag's Lecture
Notes style, excluding the bibliography). If the authors believe that more
details are essential to substantiate the main claims, they may include a
clearly marked appendix, which will be read at the discretion of the program
committee. However, if slightly longer submissions are deemed necessary,
authors must contact the program committee chairs in advance for approval.
Simultaneous submissions of papers to any other conference with published
proceedings or submitting previously published papers is not allowed. Only
electronic submissions in the PDF format are accepted. Papers should be
submitted electronically through the EasyChair system at this link:
https://easychair.org/conferences/?conf=dcfs2025
The proceedings will be published by Springer-Verlag in the series Lecture
Notes in Computer Science.
CONTACT
e-mail: DCFS2025@lboro.ac.uk
website: https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
