DCFS: Descriptional Complexity of Formal Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2020

DCFS 2020 collected papers - Call for Papers

Descriptional Complexity of Formal Systems 2020


The 22nd International Conference on Descriptional Complexity of Formal
Systems (DCFS 2020) was expected to be organized by Rudolf Freund at the
TU Wien as part of the Summer of Formal Languages 2020 in Wien, Austria,
and by the IFIP Working Group 1.02 "Descriptional Complexity”.
Unfortunately, due to development of the crisis caused by the Corona virus,
the conference had to be canceled as an event with the participants meeting
in person in Wien. However, in order to allow researchers in the area of
descriptional complexity to still present their recent results in some form,
the DCFS steering committee decided to prepare a volume, collecting papers
which will be selected by a committee after a standard review process
(http://www.informatik.uni-giessen.de/dcfs/dcfs2020.html).
The volume will be published in the series Lecture Notes in Computer Science.
The Steering Committee is also considering the possibility of offering to
the authors of accepted papers the option of giving a short presentation
during DCFS 2021.


IMPORTANT DATES

• Paper submission deadline: June 15, 2020
• Author notification: July 31, 2020
• Final version: August 15, 2020

TOPICS

Submissions concerning the descriptional complexity of formal systems
and structures (and its applications) are invited for DCFS 2020
collected papers. 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.


SELECTION COMMITTEE

• Cezar Câmpeanu, University of Prince Edward Island, Canada
• Pawel Gawrychowski, University of Wrocław, Poland
• Dora Giammarresi, Università di Roma, Italy
• Galina Jirásková, Slovak Academy of Sciences, Košice, Slovakia, co-chair
• Martin Kutrib, University of Giessen, Germany
• Florin Manea, University of Göttingen, Germany
• František Mráz, Charles University in Prague, Czech Republic
• Dana Pardubská, Comenius University, Bratislava, Slovak Republic
• Andrei Păun, University of Bucharest, Romania
• Giovanni Pighizzini, University of Milan, Italy, co-chair
• Rogério Reis, Universidade do Porto, Portugal
• Michel Rigo, University of Liege, Belgium
• Marinella Sciortino, University of Palermo, Italy
• Shinnosuke Seki, The University of Electro-Communications, Chofu, Japan
• Klaus Sutner, Carnegie Mellon University, USA
• Bianca Truthe, University of Giessen, Germany
• György Vaszil, University of Debrecen, Hungary


PAPER SUBMISSION

Authors are invited to submit papers of no more than 12 pages in LNCS
style, and including bibliography in BibTeX using bibliography style
splncs04.bst. Proofs omitted due to space constraints may be put into
an appendix to be read by the reviewers at their discretion. Moreover,
to make the work of reviewers easier, relevant papers needed for a
better understanding of the submitted paper should be appended at the
end, too. Simultaneous submissions to other conferences or workshops
with published proceedings and submitting previously published papers
are not allowed. Papers should be submitted electronically as a PDF
document via EasyChair at the following link:

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

We are looking forward to receiving your submissions!

Galina Jirásková and Giovanni Pighizzini
(Co-chairs of the Selection Committee)
 

Related Resources

FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
FM 2021   Formal Methods 2021
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
IEEE--ICCIS--Ei and Scopus 2021   IEEE--2021 5th International Conference on Communication and Information Systems (ICCIS 2020)--Ei Compendex, Scopus
ICRE--EI, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
APEEN 2021   APEEN2021 Conference: Energy Transition and Sustainability
ICCIS--IEEE, Ei and Scopus 2021   IEEE--2021 5th International Conference on Communication and Information Systems (ICCIS 2020)--Ei Compendex, Scopus