[FM-India] ACM-IEEE MEMOCODE 2019 (Extended Deadlines)

Madhavan Mukund madhavan at cmi.ac.in
Tue Jun 4 11:04:40 IST 2019

----- Forwarded message -----

Date: Tue, 4 Jun 2019 11:02:31 +0530
From: "Dr. Srinivas Pinisetty" <spinisetty at iitbbs.ac.in>
To: fmindia at cmi.ac.in
Cc: Partha Roop <p.roop at auckland.ac.nz>, 薛白 <xuebai at ios.ac.cn>
Subject: ACM-IEEE MEMOCODE 2019 (Extended Deadlines)

*Call for Papers*

The 17th ACM-IEEE International Conference on Formal Methods and Models for
System Design (MEMOCODE 2019)

San Diego, USA, October 9-11, 2019

*https://memocode.github.io/2019/ <https://memocode.github.io/2019/>*

*Overview: *Over the last decade, the boundaries between computer system
components, such as hardware, software, firmware, middleware, and
applications, have blurred. This evolution in system design and development
practices led in 2014 to a change in the title and scope of the
MEMOCODE conference
from its original focus on hardware/software co-design to its new focus on
formal methods and models for developing computer systems and their
components. MEMOCODE's objective is to emphasize the importance of models
and methodologies in correct system design and development, and to 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.

MOMOCODE 2019 is the 17th ACM-IEEE International Conference on Formal
Methods and Models for System. The conference will be held in San Diego,
USA. It is the next event of a series of highly successful international
conferences, held in recent years as MEMOCODE 2018 (Beijing, China),
MEMOCODE 2017 (Vienna, Austria), MEMOCODE 2016
<http://memocode.irisa.fr/2016> (Kanpur, India), MEMOCODE 2015
<http://memocode.irisa.fr/2015> (Austin, USA), MEMOCODE 2014
<http://memocode.irisa.fr/2014>(Lausanne, Switzerland), MEMOCODE 2013
<http://memocode.irisa.fr/2013>(Portland, USA), MEMOCODE 2012
<http://memocode.irisa.fr/2012> (Arlington, USA), MEMOCODE 2011
UK), MEMOCODE 2010 <http://www-memocode2010.imag.fr/> (Grenoble, France),
MEMOCODE 2009 <http://csg.csail.mit.edu/Memocode2009>(Cambridge, USA),
MEMOCODE 2008 <http://memocode.irisa.fr/2008> (Anaheim, USA), MEMOCODE 2007
<http://memocode.irisa.fr/2007> (Nice, France), MEMOCODE 2006
<http://memocode.irisa.fr/2006> (Napa Valley, USA), MEMOCODE 2005
<http://memocode.irisa.fr/2005>(Verona, Italy), MEMOCODE 2004
<http://memocode.irisa.fr/2004> (San Diego, USA), MEMOCODE 2003
<http://memocode.irisa.fr/2003> (Mont Saint Michel, France) .

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.

*Conference Scope: *Topics of interest include, but are not limited to:

·       *Modeling Languages, Methods, and Tools*

o  Programming Languages and Models

o  Software and System Modeling Languages

o  Architecture and High-level Hardware Description Languages

o  Timing Models

o  Model and Program Synthesis Methods

o  Model Transformation Methods

·       *Formal Methods and Tools*

o  Correct-by-Construction Methods

o  Contract-based Design and Verification Testing

o  Static, Dynamic, and Type Theoretic Analysis

o  Verification

o  Validation

o  Probabilistic Model Checking

o  Test Generation

o  Refinement-based and Compositional Approaches to Design and Verification

·       *Models and Methods for Developing Critical Systems*

o  Fault-tolerant Systems

o  Security-critical and Safety-critical Systems

o  Cyber-physical Systems

o  Hybrid Systems

o  Autonomous Systems

o  Self-adapting Systems

·         *Quantitative/Qualitative Reasoning*

o  Power/Performance/Cost/Latency Estimation Methods

o  System Models for Quantitative Design Space Exploration

·         *Formal Methods/Models in Practice*

o  Design Case Studies

o  Empirical Case Studies

*Paper Submission Guidelines*

MEMOCODE 2019 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. Submission of papers is
handled via *Easychair

l  Regular papers must be no more 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 novelty of the proposed solution and the proofs
given for the claims made.

l  Work-in-progress (WIP) papers must be no more 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.

l  Tool papers must be no more 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.

For questions regarding technical submissions, feel free to contact one of
the Program Committee co-chairs: *Sicun Gao(scungao at gmail.com
<scungao at gmail.com>)* and *Pierluigi Nuzzo(nuzzo at usc.edu <nuzzo at usc.edu>)*.

*Important Dates*

*Abstract submission deadline: **June 14, 2019  (*EXTENDED DEADLINE)

*Paper submission deadline:    **June 21, 2019   (*EXTENDED DEADLINE)

*Notification of acceptance:    July 26, 2019*

*Final version of papers:        August 16, 2019*

*Conference:                          October 9-11, 2019*

*Invited speakers:*

1) Prof. Edward A. Lee, UC Berkeley

2) Prof. Rajeev Alur, University of Pennsylvania

3) Dr. Huafeng Yu, Boeing Corporation
*Organizing Committee*

*General Chairs:*

Partha Roop, University of Auckland, New Zealand

Naijun Zhan, Institute of Software CAS, China

*Local Chair:*

Dezhi Hong, UC San Diego

*Program Chairs: *

Pierluigi Nuzzo, University of Southern California, USA

Sicun Gao, University of California, USA

*Publicity Chair:*

Bai Xue, Institute of Software CAS, China

*Publication Chair:*

Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar, India

*Disclaimer: *This email and any files transmitted with it are confidential 
and intended solely for the use of the individual or entity to whom they 
are addressed. If you have received this email in error please notify the 
system manager. This message contains confidential information and is 
intended only for the individual named. If you are not the named addressee 
you should not disseminate, distribute or copy this e-mail. Please notify 
the sender immediately by e-mail if you have received this e-mail by 
mistake and delete this e-mail from your system. If you are not the 
intended recipient you are notified that disclosing, copying, distributing 
or taking any action in reliance on the contents of this information is 
strictly prohibited.

----- End forwarded message -----

More information about the FMIndia mailing list