ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

DCFS 2020 - 22nd International Conference on Descriptional Complexity of Formal Systems

Date2020-07-25 - 2020-07-27

Deadline2020-03-11

VenueVienna, Austria Austria

Keywords

Websitehttp://www.informatik.uni-giessen.de/dcfs

Topics/Call fo Papers

DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures (and its applications). Topics of interest are 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

Last modified: 2017-11-14 23:04:50