Conference Information
MEMOCODE 2018: International Conference on Formal Methods and Models for System Design
Submission Date:
2018-06-13 Extended
Notification Date:
Conference Date:
Beijing, China
Viewed: 8480   Tracked: 0   Attend: 0

Conference Location
Call For Papers
MEMOCODE is a leading conference that brings together researchers and practitioners interested in formal methods for system design and development, research results, and lessons learned. The conference focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems ranging from single embedded devices to highly networked Cyber-Physical Systems and the Internet of Things.

Topics of Interest

MEMOCODE 2018 solicits research papers on formal methods in systems design that address the foundations, engineering methods, tools, or experimental case studies. Research areas of interest include, but are not limited to the following:

    Modeling Languages, Methods and Tools Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods
    Formal Methods and Tools Correct-by-construction methods; contract-based design and verification; static, dynamic, and type theoretic analysis; verification; validation; probabilistic model checking; test generation; refinement-based and compositional approaches to design and verification
    Models and Methods for Developing Critical Systems Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; hybrid systems; autonomous systems; self-adapting systems
    Quantitative/Qualitative Reasoning Power/performance/cost/latency estimation methods; system models for quantitative design space exploration
    Formal Methods/Models in Practice Design case studies; empirical case studies
Last updated by Dou Sun in 2018-06-10
Related Conferences