DCFS 2025 - Call for Papers
26th International Conference on Descriptional Complexity of Formal Systems
July 22-24, 2025, Loughborough, UK
============================================================================
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".
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)
- TBA
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 16, 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 and including bibliography). If the authors believe
that more details are essential to substantiate the main claims, they
may include a clearly marked appendix that will be read at the
discretion of the program committee. 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: l.prigioniero@lboro.ac.uk
**********************************************************
*
* 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/
*
**********************************************************