DCFS: Descriptional Complexity of Formal Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
DCFS 2024 Descriptional Complexity of Formal Systems
Jun 25, 2024 - Jun 27, 2024 Santa Clara, CA Mar 1, 2024
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 : 2024

CALL FOR PAPERS
DCFS 2024
International Conference on Descriptional Complexity of Formal Systems
Santa Clara University
June 25 - 27, 2024

https://sites.google.com/scu.edu/dcfs24
dcfs2024@gmail.com

Paper submission deadline: March 1, 2024
Author notification: April 2, 2024
Camera-ready deadline: April 11, 2024


The 26th edition of DCFS is organized by the Department of Mathematics and Computer Science of Santa Clara University, USA and by the IFIP Working Group 1.02 "Descriptional Complexity".

TOPICS

Original research papers concerning the descriptional complexity of formal systems and structures (and its applications) are sought. 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.

PROGRAM COMMITTEE

Henning Bordihn (University of Potsdam, Germany), co-chair

Pascal Caron (University of Rouen, France)

Szilárd Fazekas (Akita University, Japan)

Yo-Sub Han (Yonsei University, Republic of Korea)

Galina Jirásková (Slovak Academy of Sciences, Slovakia)

Stavros Konstantinidis (Saint Mary's University, Canada)

Martin Kutrib (University of Giessen, Germany)

Ian McQuillan (University of Saskatchewan, Canada)

Timothy Ng (University of Chicago, USA)

Alexander Okhotin (St. Petersburg State University, Russia)

Giovanni Pighizzini (University of Milan, Italy)

Chris Pollett (San Jose State University, USA)

Luca Prigioniero (Loughborough University, UK)

Bala Ravikumar (Sonoma State University, USA)

Rogérior Reis (University of Porto, Portugal)

Kai Salomaa (Queen's University, Canada)

Shinnosuke Seki (The University of Electro-Communications, Japan)

Howard Straubing (Boston College, USA)

Nicholas Tran (Santa Clara University, USA), co-chair

György Vaszil (University of Debrecen, Hungary)

Hsu-Chun Yen (National Taiwan University, Taiwan) Program Committee

Henning Bordihn (University of Potsdam, Germany), co-chair

Pascal Caron (University of Rouen, France)

Szilárd Fazekas (Akita University, Japan)

Yo-Sub Han (Yonsei University, Republic of Korea)

Galina Jirásková (Slovak Academy of Sciences, Slovakia)

Stavros Konstantinidis (Saint Mary's University, Canada)

Martin Kutrib (University of Giessen, Germany)

Ian McQuillan (University of Saskatchewan, Canada)

Timothy Ng (University of Chicago, USA)

Alexander Okhotin (St. Petersburg State University, Russia)

Giovanni Pighizzini (University of Milan, Italy)

Chris Pollett (San Jose State University, USA)

Luca Prigioniero (Loughborough University, UK)

Bala Ravikumar (Sonoma State University, USA)

Rogérior Reis (University of Porto, Portugal)

Kai Salomaa (Queen's University, Canada)

Shinnosuke Seki (The University of Electro-Communications, Japan)

Howard Straubing (Boston College, USA)

Nicholas Tran (Santa Clara University, USA), co-chair

György Vaszil (University of Debrecen, Hungary)

Hsu-Chun Yen (National Taiwan University, Taiwan)

PAPER SUBMISSION

Submissions to DCFS must not exceed 12 pages in Springer-Verlag's Lecture Notes style 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. Papers should be submitted electronically as a PDF document to

https://www.easychair.org/conferences/?conf=dcfs24.

After logging in to your EasyChair account, select the "New Submission" menu item on the top of the page. If you do not have an EasyChair account, follow the instructions on the login page. The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science. In addition, a special issue of Journal of Automata, Languages, and Combinatorics will be devoted to revised and extended versions of selected papers of the conference.
 

Related Resources

CIAA 2024   The 28th International Conference on Implementation and Application of Automata
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
FM 2024   Formal Methods
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICFEM 2024   International Conference on Formal Engineering Methods
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
FOCS 2024   Foundations of Computer Science
Sensors journal 2024   Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition
MLIS 2024   The 6th International Conference on Machine Learning and Intelligent Systems (MLIS 2024)