19th ACM-IEEE International Conference on Formal Methods and Models for System Design
20 ноября—22 ноября 2021
Форма участия: Дистанционная
Срок подачи заявок: 27.06.2021
Topics of Interest
MEMOCODE 2021 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 ToolsProgramming 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 ToolsCorrect-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 SystemsFault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; hybrid systems; autonomous systems; self-adapting systems
Quantitative/Qualitative ReasoningPower/performance/cost/latency estimation methods; system models for quantitative design space exploration
Formal Methods/Models in PracticeDesign case studies; empirical case studies
MEMOCODE 2021 calls for two kinds of submissions: regular papers and short papers. All papers must be written in English and formatted according to the IEEE Computer Society guidelines, including the IEEE Copyright templates. 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.
Short papers are no more than 6 pages, excluding bibliography and appendices. Short paper could be of the following two categories:
Tool papers: 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: They should describe ongoing work. Reviewers will judge the novelty of the idea, but do not yet expect proofs for the envisioned results. A paper submitted as a regular paper might be accepted in this category if the reviewers feel that the paper is not yet ready for publication as a full paper, but contains interesting ideas which are still worth presenting in the conference.
For questions regarding technical submissions, feel free to contact one of the program committee co-chairs: Indranil Saha and Lijun Zhang. All accepted papers (regular papers and short 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.
- РЕКОМЕНДУЕМ ВАМ
III Международный конкурс индивидуальных проектов школьников 10-11 классов “NEW PROJECT 2021/2022”, 01.09.2021-31.08.2022
1 сентября-31 августа 2022