DCFS 2012

14th International Workshop on Descriptional Complexity of Formal Systems

July 23-25, 2012

About DCFS 2012

DCFS 2012, Descriptional Complexity of Formal Systems, will be held in Braga, Portugal on July 23-25, 2012 and will be jointly organized by University of Porto and University of Minho with the support of University of Beira Interior. DCFS 2012 will take place just after CIAA 2012


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

The proceedings will be published in the Springer
Lecture Notes in Computer Science (LNCS) series, number 7386.

A special issue of
Journal of Automata, Languages and Combinatorics issue with full versions of selected papers will be devoted to DCFS 2012.

Indexed by:

Stacks Image 491
Stacks Image 25
Stacks Image 28
Stacks Image 32
Stacks Image 35
Stacks Image 38
Stacks Image 451
Stacks Image 45
Stacks Image 48
Stacks Image 479
Stacks Image 483