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

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2017

International Conference on Formal Methods and Models for System Design (MEMOCODE)

Technische Universität Wien, Vienna, Austria
September 29 - October 2, 2017
http://memocode.irisa.fr/2017

IMPORTANT DATES

Submission deadline (abstract): May 12, 2017
Submission deadline (paper): May 19, 2017
Notification of acceptance: July 10, 2017
Final version of papers: July 28, 2017


MEMOCODE’s objective is to bring together researchers and practitioners
interested in formal methods and models for system design and development to
exchange ideas, research results, and lessons learned. System design covers the
development of hardware, firmware, middleware, and application software for
systems ranging from single embedded devices to highly networked CPS and systems
in the IoT. In particular, MEMOCODE 2017 seeks research contributions on formal
foundations, engineering methods, tools, and 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


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
(https://easychair.org/conferences/?conf=memocode2017):

* Regular papers must be no longer than 10 pages and must 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. One of the authors has
to present the paper at the conference.

* Work-in-progress (WIP) papers must be no longer than 4 pages and must
describe ongoing work. Reviewers will judge the novelty of the idea, but do
not yet expect proofs for the envisioned results. WIP papers will be
presented by one of the authors during a poster presentation at the
conference.

* Tool papers must be no longer 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. One of the authors has to
present the paper at the conference.

For questions regarding technical submissions, feel free to contact one of the
Program Committee co-chairs:

* Patricia Derler (patricia.derler@ni.com)
* Klaus Schneider (klaus.schneider@cs.uni-kl.de).

All accepted papers (regular paper, WIP papers, and tool papers) will be
published as IEEE conference proceedings in IEEE Xplore. For all three paper
categories, publication 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.


ORGANIZING COMMITTEE

Patricia Derler, National Instruments Corporation, (Program Chair)
Klaus Schneider, University of Kaiserslautern, (Program Chair)
Jean-Pierre Talpin, IRISA, (General Chair)
Yi Deng, Virginia Tech (Publications Chair)


PROGRAM COMMITTEE

Paul Attie, American University of Beirut
Marco Bekooij, University of Twente
Jani Boutellier, Tampere University of Technology
Jens Brandt, Hochschule Niederrhein
Sudipta Chattopadhyay, Singapore University of Technology and Design
Silviu Craciunas, TTTech Computertechnik AG
Jyotirmoy Deshmukh, Toyota Technical Center
Stephen Edwards, Columbia University
Mamoun Filali-Amine, IRIT
Martin Fränzle, Carl von Ossietzky Universität Oldenburg
Franco Fummi, University of Verona
Abdoulaye Gamatie, CNRS
Marc Geilen, Eindhoven University of Technology
Leonard Gerard, ENS
Gregor Goessler, INRIA
Rick Kuhn, Natl Institute of Standards & Technology
Luciano Lavagno, Politecnico di Torino
Axel Legay, IRISA/INRIA, Rennes
Elizabeth Leonard, Naval Research Laboratory
Thanhvu Nguyen, University of Nebraska, Lincoln
Pierluigi Nuzzo, University of Southern California
John O'Leary, Intel Corporation
Roberto Passerone, University of Trento
Maxime Pelcat, IETR/INSA
Doron Peled, Bar Ilan University
Andre Platzer, Carnegie Mellon University
Murali Rangarajan, The Boeing Company
Sanjai Rayadurgam, University of Minnesota
Elvinia Riccobene, University of Milan
Partha Roop, University of Auckland
Neda Saeedloei, University of Texas at Dallas
Sandeep Shukla, IIT Kanpur
Aviral Shrivastava, Arizona State University
Marjan Sirjani, Reykjavik University
Jürgen Teich, University of Erlangen-Nuremberg
Stavros Tripakis, University of California, Berkeley
Muralidaran Vijayaraghavan, MIT
Reinhard von Hanxleden, Christian-Albrechts-Universität zu Kiel
Tuba Yavuz, University of Florida
Qi Zhu, UC Riverside
Damian Zufferey, MPI Software Systems
 

Related Resources

FM 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
CONCUR 2018   29th International Conference on Concurrency Theory
TextGraphs-12   TextGraphs-12: Graph-based Methods for Natural Language Processing
RAMiCS 2018   Relational and Algebraic Methods in Computer Science
UNIF 2018   32nd International Workshop on Unification
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
SIMULTECH 2018   8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018