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
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
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
Other CFPs
- 23rd International Conference on Implementation and Application of Automata
- 6th International Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2018)
- 15th Sound & Music Computing Conference
- 4th Workshop on Indian Language Data: Resources and Evaluation (WILDRE-4)
- 23rd International Conference on Applied Electronics
Last modified: 2017-11-14 22:59:50