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

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

FacebookTwitterLinkedInGoogle


Conference Series : Descriptional Complexity of Formal Systems
 
Link: https://www.cs.uni-potsdam.de/dcfs2023/
 
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 (https://www.cs.uni-potsdam.de/dcfs2023/) 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.

Committees
---------------------------------------------------------------------------
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)

Publication
---------------------------------------------------------------------------
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.

Venue
---------------------------------------------------------------------------
The conference will be held in Potsdam, Germany.

Contact
---------------------------------------------------------------------------
All questions about submissions should be emailed to Henning Bordihn (henning@cs.uni-potsdam.de).

Related Resources

DCFS 2024   Descriptional Complexity of Formal Systems
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SOEN 2024   9th International Conference on Software Engineering
ICFEM 2024   International Conference on Formal Engineering Methods
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
NLPA 2024   5th International Conference on Natural Language Processing and Applications
FM 2024   Formal Methods
FOCS 2024   Foundations of Computer Science
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems