13th International Workshop on

Descriptional Complexity of Formal

Systems (DCFS)

July 25 - 27, 2011, Vicinity of Giessen, Germany

About DCFS

DCFS 2011, Descriptional Complexity of Formal Systems, will take place in Limburg near Giessen, Germany. The city of Limburg lies in the west of the province Hessen between the Taunus and the Westerwald in the beautiful Lahn valley and it looks back on a history of more than 1100 years. The workshop will be organized by the Institut für Informatik of the Justus-Liebig-Universität Giessen, from July 25 - 27, 2011.

DCFS 2011 takes place after both

  • CIAA - Conference on Implementation and Application of Automata in Blois, France
  • NCMA - Non-Classical Models of Automata and Applications in Milano, Italy,
and
  • DLT - Developments in Language Theory in Milano, Italy.
Thus, one can attend all of DCFS, CIAA, NCMA, and DLT within a two week period.

Topics

Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2011. Topics related to all aspects of descriptional complexity, including, but not limited to
  • automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism),
  • trade-offs between computational models and/or operations,
  • succinctness of description of (finite) objects,
  • state explosion-like phenomena,
  • circuit complexity of Boolean functions and related measures,
  • resource-bounded or structure-bounded environments,
  • frontiers between decidability and undecidability,
  • universality and reversibility,
  • structural complexity,
  • formal systems for applications (e.g., software reliability, software and hardware testing, modelling of natural languages),
  • nature-motivated (bio-inspired) architectures and unconventional models of computing,
  • Kolmogorov complexity.
Authors are invited to submit a paper (12 pages) presenting original research concerning the topics of the workshop. For submission instructions, please see the corresponding link on the left. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series.

springer            springerlink