DCFS 2012

14th International Workshop on Descriptional Complexity of Formal Systems

Call for Papers

DCFS 2012 will be held in Braga, Portugal, on July 23-25, 2012. Braga is known as the
"Portuguese Rome" for its concentration of religious architecture,
Roman remains, beautiful churches and museums. Braga, located in the
heart of Minho, is one of Portugal’s favorite tourist destination.

The venue will be the D. Diogo de Sousa Museum of Archaeology in the city center.

The workshop will be jointly organized by University of Porto,
University of Minho, and University of Beira Interior, with the support
of IFIP Working Group 1.2.

Invited Speakers

Important Dates

Topics of interest

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, modeling of natural languages),
  • nature-motivated (bio-inspired) architectures and unconventional models of computing,
  • Kolmogorov complexity.