posted by user: sadegh_rk || 344 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

TASE 2023   Theoretical Aspects of Software Engineering
FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
SIMULTECH 2023   13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
COORDINATION 2023   25th International Conference on Coordination Models and Languages
COMPLEXIS 2023   8th International Conference on Complexity, Future Information Systems and Risk
SECURA 2023   International Conference on Security & Applications
CIAC 2023   13th International Symposium on Algorithms and Complexity
Decision Making in Complex Systems 2023   Decision Making in Complex Systems
NCIRTTM 2023   Extended CFP: Narrative Complexity in Recent Time-Travel Media
SOAP 2023   12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis