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:
Submissions
Commitees
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.
Submissions
Commitees