MEMOCODE: International Conference on Formal Methods and Models for Co-Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MEMOCODE 2022 20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
Oct 13, 2022 - Oct 14, 2022 Shanghai, China Jun 3, 2022 (May 27, 2022)
MEMOCODE 2018 16th ACM-IEEE International Conference on Formal Methods and Models for System Design
Oct 15, 2018 - Oct 18, 2018 Beijing, China Jun 8, 2018 (Jun 1, 2018)
MEMOCODE 2017 15th ACM/IEEE International Conference on Formal Methods and Models for System Design
Sep 29, 2017 - Oct 2, 2017 Vienna, Austria May 19, 2017 (May 12, 2017)
MEMOCODE 2016 ACM-IEEE International Conference on Formal Methods and Models for System Design
Nov 18, 2016 - Nov 20, 2016 Indian Institute of Technology, Kanpur Jul 29, 2016 (Jul 22, 2016)
MEMOCODE 2015 Thirteenth ACM/IEEE International Conference on Formal Methods and Models for System Design
Sep 21, 2015 - Sep 23, 2015 Austin, Texas Jun 12, 2015 (Jun 5, 2015)
MEMOCODE 2014 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign
Oct 18, 2014 - Oct 21, 2014 Lausanne, Switzerland Jul 17, 2014 (Jul 10, 2014)
MEMOCODE 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
Oct 18, 2013 - Oct 20, 2013 Portland, Oregon Jul 24, 2013 (Jul 17, 2013)
MEMOCODE 2012 ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign
Jul 16, 2012 - Jul 18, 2012 Arlington, Virginia Mar 9, 2012 (Mar 2, 2012)
MEMOCODE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Jul 11, 2011 - Jul 13, 2011 Cambridge, United Kingdom Mar 4, 2011 (Feb 25, 2011)
MEMOCODE 2009 Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
Jul 12, 2009 - Jul 15, 2009 Cambridge, MA Feb 20, 2009
MEMOCODE 2008 Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign
Jun 5, 2008 - Jun 7, 2008 Anaheim, California Feb 1, 2008
 
 

Present CFP : 2022

MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium 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 solicits research papers on formal methods in system 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; systems that merge humans, artificial intelligence, and cyber-physical systems; societal-scale cyber-physical systems, such as connected vehicles and smart grids.
-- 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

*************************************************************************************
Submissions

MEMOCODE 2022 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 IEEE Computer Society guidelines, including the IEEE Copyright templates. A _double-blind review process_ will be enforced. Authors must not reveal their identity directly or indirectly.Submission of papers is handled via EasyChair.

Regular papers are no longer than 10 pages, excluding bibliography and appendices. They should 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 soundness and novelty of the proposed solutions.
Tool papers are no longer than 8 pages, excluding bibliography and appendices. They 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.
Work-in-progress (WIP) papers are no longer than 4 pages, excluding bibliography and appendices. They should describe ongoing work. Reviewers will judge the novelty of the idea, but do not yet expect proofs for the envisioned results.

For questions regarding technical submissions, feel free to contact one of the program committee co-chairs. All accepted papers (regular papers, WIP papers, and tool papers) will be published as IEEE conference proceedings with IEEE eXpress. 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 the ACM Transactions on Embedded Computing Systems. The Program Committee will also select 1-2 papers for the Best Paper Award.
 

Related Resources

COSADE 2023   The 14th International Workshop on Constructive Side-Channel Analysis and Secure Design
NLPCL 2023   4th International Conference on Natural Language Processing and Computational Linguistics
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ESOP 2023   32st European Symposium on Programming
NCO 2023   9th International Conference on Networks and Communications
SPIN 2023   29th International Symposium on Model Checking of Software
TFP 2023   Trends in Functional Programming
NFM 2023   NASA Formal Methods Symposium
RTNS 2023   International conference on Real-Time Networks and Systems
AI 2022   8th International Conference on Artificial Intelligence and Applications