posted by user: pderler || 509 views || tracked by 7 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://memocode.irisa.fr/
 
When Oct 15, 2018 - Oct 18, 2018
Where Beijing, China
Abstract Registration Due May 25, 2018
Submission Deadline Jun 1, 2018
Notification Due Jul 23, 2018
Final Version Due Aug 10, 2018
Categories    formal methods and models   modeling languages and tools   critical systems
 

Call For Papers

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

Dates
Abstract submission deadline: May 25, 2018
Paper submission deadline: June 1, 2018
Notification of acceptance: July 23, 2018
Final version of papers: August 10, 2018
Conference: October 15-18, 2018

Submissions
MEMOCODE 2017 calls for three kinds of submissions: regular papers, work in progress papers, and tool presentations. All papers must be written in English and formatted according to the following IEEE Computer Society guidelines. Submission of papers is handled via Easychair.

- Regular papers must be less than 10 pages and describe original work that does not overlap with another publication or a submission under review or accepted for publication by any other conference or journal. Reviewers will check regular papers for the novelty of the proposed solution and the proofs given for the claims made.
- Work-in-progress papers must be less than 4 pages and describe ongoing work. Reviewers will judge the novelty of the idea, but do not yet expect proofs for the envisioned results.
- Tool papers must be less than 8 pages and should describe an existing and publicly available tool that implements relevant methods. The methods might have been published before, but the tool should not have been described in a tool paper previously. In addition to reviewing the paper, reviewers will assess the tool itself using inputs and a user's manual provided by the authors on the tool's web page.

For questions regarding technical submissions, feel free to contact one of the Program Committee co-chairs: Patricia Derler and Sicun Gao. All accepted papers (regular paper, WIP papers, and tool papers) will be published as IEEE conference proceedings with IEEE Xplore. Publication in the proceedings is contingent on one author registering for and presenting the paper at the conference. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.

Related Resources

FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
ICFEM 2018   20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS
UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
EMNLP 2018   2018 Conference on Empirical Methods in Natural Language Processing
CONCUR 2018   29th International Conference on Concurrency Theory
BDCAT 2018   5th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies
SBMF 2018   21st Brazilian Symposium on Formal Methods
FACS 2018   15th International Conference on Formal Aspects of Component Software
FMICS 2018   23rd International Conference on Formal Methods for Industrial Critical Systems
IEEE--ICSRS--Ei and Scopus 2018   IEEE--2018 3rd International Conference on System Reliability and Safety (ICSRS 2018)--Ei Compendex and Scopus