Conference Information
DCFS 2018: International Conference on Descriptional Complexity of Formal Systems
http://cs.smu.ca/~dcfs2018/
Submission Date:
2018-03-28 Extended
Notification Date:
2018-04-27
Conference Date:
2018-07-25
Location:
Halifax, Nova Scotia, Canada
Years:
20
Viewed: 1232   Tracked: 0   Attend: 0

Conference Location
Advertisment
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 Computing2014-04-102014-05-102014-05-24
ICNSERInternational Conference on Industrial Control Network and System Engineering Research2019-03-01 2019-03-15
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2019-05-242019-07-202019-11-10
cbb2GMPGeometric Modeling and Processing2018-12-122019-02-082019-06-19
SpliTechInternational Multidisciplinary Conference on Computer and Energy Science2017-04-012017-05-152017-07-12
ACS''International Conference on Advanced Computing and Services2014-01-052014-01-152014-02-19
baa1ICDCSInternational Conference on Distributed Computing Systems2020-01-132020-03-142019-07-07
cICMITInternational Conference on Management of Innovation and Technology2016-03-222016-06-012016-09-19
AIMPEInternational Conference on Intelligent Materials, Power and Energy2015-03-202015-03-252015-04-11
ICEIECIEEE International Conference on Electronics Information and Emergency Communication2019-06-152019-06-252019-07-12
Recommendation