DCFS: Descriptional Complexity of Formal Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
DCFS 2023 25th International Conference on Descriptional Complexity of Formal Systems
Jul 4, 2023 - Jul 6, 2023 Potsdam, Germany Mar 1, 2023
DCFS 2021 23rd International Conference on Descriptional Complexity of Formal Systems
Jun 21, 2021 - Jun 24, 2021 Proceedings-only Event Jun 29, 2021
DCFS 2020 22nd International Conference on Descriptional Complexity of Formal Systems
N/A paper publication in Springer LNCS Jun 15, 2020
DCFS 2018 20th International Conference on Descriptional Complexity of Formal Systems
Jul 25, 2018 - Jul 27, 2018 Halifax, Canada TBD
DCFS 2017 19th International Conference on Descriptional Complexity of Formal Systems
Jul 3, 2017 - Jul 5, 2017 Milano, Italy Mar 1, 2017
DCFS 2016 Descriptional Complexity of Formal Systems Working Conference
Jul 5, 2016 - Jul 8, 2016 Bucharest, Romania Mar 1, 2016
DCFS 2015 DCFS 2015 (Descriptional Complexity of Formal Systems), Waterloo, Ontario, June 25-27 2015
Jun 25, 2015 - Jun 27, 2015 Waterloo, Ontario, Canada Mar 1, 2015
DCFS 2014 16th International Workshop on Descriptional Complexity of Formal Systems
Aug 5, 2014 - Aug 8, 2014 Turku, Finland Apr 11, 2014
DCFS 2013 15th International Workshop on Descriptional Complexity of Formal Systems
Jul 22, 2013 - Jul 25, 2013 London, Ontario, Canada Mar 20, 2013
DCFS 2012 14th International Workshop on Descriptional Complexity of Formal Systems
Jul 23, 2012 - Jul 25, 2012 Braga, Portugal Apr 1, 2012
DCFS 2010 Workshop on Descriptional Complexity of Formal Systems
Aug 8, 2010 - Aug 10, 2010 Saskatoon, SK, Canada TBD
DCFS 2008 10th International Workshop on Descriptional Complexity of Formal Systems
Jul 16, 2008 - Jul 18, 2008 Charlottetown Apr 7, 2008
 
 

Present CFP : 2023

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

CIOS 2023   International Conference on Cloud, IoT and Security
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
TASE 2023   Theoretical Aspects of Software Engineering
COMPLEXIS 2023   8th International Conference on Complexity, Future Information Systems and Risk
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
NFM 2023   NASA Formal Methods Symposium