Conference Information
DCFS 2018: International Conference on Descriptional Complexity of Formal Systems
Submission Date:
2018-03-28 Extended
Notification Date:
Conference Date:
Halifax, Nova Scotia, Canada
Viewed: 1801   Tracked: 0   Attend: 0

Conference Location
Call For 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 updated by Dou Sun in 2018-03-28
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
UBICInternational Conference on Ubiquitous Computing2020-06-062020-08-292020-12-19
ICNSERInternational Conference on Industrial Control Network and System Engineering Research2020-06-012020-06-152020-06-19
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2020-05-222020-07-252020-10-28
ICFoITInternational Conference on Frontiers of Industrial Technology2020-08-102020-08-102020-09-13
SpliTechInternational Conference on Smart and Sustainable Technologies2020-03-102020-05-052020-07-01
cbb2GMPGeometric Modeling and Processing2019-12-132020-02-032020-05-13
ACS''International Conference on Advanced Computing and Services2014-01-052014-01-152014-02-19
baa1ICDCSInternational Conference on Distributed Computing Systems2020-01-062020-03-142020-07-08
AIMPEInternational Conference on Intelligent Materials, Power and Energy2015-03-202015-03-252015-04-11
cICMITInternational Conference on Management of Innovation and Technology2016-03-222016-06-012016-09-19