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

DCFS 2018 - 19th International Conference on Descriptional Complexity

Date2018-07-25 - 2018-07-27

Deadline2018-03-11

VenueSaint Mary's University, Halifax, Nova Scotia, Canada Canada

Keywords

Websitehttps://cs.smu.ca/~dcfs2018

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 22:59:50