MEMOCODE 2018 : 16th ACM-IEEE International Conference on Formal Methods and Models for System Design

Oct 15, 2018 - Oct 18, 2018, Beijing, China

Scope & Topics

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 :

• 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

Important Dates

Submission Deadline	:	June 01, 2018
Authors Notification	:	July 23, 2018
Final Manuscript Due	:	August 10, 2018

User Name : james
Posted 22-03-2018 on 20:16:56 AEDT

Related CFPs

SOFEA 2026   12th International Conference on Software Engineering and Applications (SOFEA 2026)
SPNLP 2026   4th International Conference on Speech and NLP (SPNLP 2026)
IJITE   International Journal on Integrating Technology in Education
IJWSC   International Journal on Web Service Computing