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

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

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

CALL FOR PAPERS

14th ACM/IEEE International Conference on Methods and Models for System Design
(MEMOCODE 2016)
Indian Institute of Technology, Kanpur, India, November 18-20, 2016

http://memocode.irisa.fr/2016/

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 bring together researchers and
industry practitioners interested in all aspects of computer system
development, to exchange ideas, research results and lessons learned.


IMPORTANT DATES

Abstract submission deadline: July 22, 2016
Paper submission deadline: July 29, 2016
Notification of acceptance: September 9, 2016
Final version of papers: October 7, 2016
Venue: November 18-20, 2016


TOPICS OF INTEREST

MEMOCODE 2016 seeks research contributions on all aspects of methods and
models for system, hardware, and software design and development: 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; static,
dynamic, and type theoretic analysis; verification; validation;
test generation; platform-based design; refinement-based, component-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; autonomous and unmanned systems; assurance cases

* Quantitative/Qualitative Reasoning: Power/performance/cost/latency
trade-off methods; power models; reasoning techniques, data mining,
and other analytical methods for predicting power/performance;
system models for quantitative design space exploration

* Formal Methods/Models in Practice:
Design case studies; empirical case studies


PAPER SUBMISSION

MEMOCODE'2016 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:

http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Submission of papers is handled via the following web page in Easychair:

https://www.easychair.org/conferences/?conf=memocode2016

Regular papers must be no longer than 10 pages, must describe original work
that does not overlap with another publication, or 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 summarize the
paper at the conference in a regular presentation.

Work-in-progress (WIP) papers must be no longer than 4 pages, and must
describe an 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 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 some state-of-the-art methods
that might have been already published (but not as a tool paper). Reviewers
will check whether the tool works with inputs and manual provided by the
authors on the tool's web page.

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

* Elizabeth Leonard (elizabeth.leonard@nrl.navy.mil)
* 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 and in IEEE Xplore. Selected papers
will be invited for publication in a special issue of ACM Transactions on
Embedded Computing Systems.


DESIGN CONTEST

This year's conference will include the 10th annual MEMOCODE Co-Design
Contest, which poses a computational challenge that participants may solve
using hardware or software on FPGAs, GPUs, and CPUs. Past contests have
included interesting problems in areas of machine learning, bioinformatics,
data analytics, and image processing; past winners have built innovative
solutions targeting GPUs, CPUs, and FPGAs.

The conference will sponsor at least one prize with a monetary award for the
contest winners. Additionally, each team delivering a complete and working
solution will be invited to prepare an abstract and present it at the
conference, and the winning teams will be invited to contribute a short
paper for presentation in the conference program.

The 2016 contest problem will be unveiled on the MEMOCODE website on
July 29, 2016.

CONTEST SCHEDULE:
Contest begins: July 29
Contest ends: August 29
Contest results: September 12
Contest papers due: October 7


ORGANIZING COMMITTEE

Jean-Pierre Talpin, INRIA, General and Finance Chair
Sandeep Shukla, IIT Kanpur, Local Arrangements and Panel Chair
Elizabeth Leonard, Naval Research Laboratory, Program co-Chair
Klaus Schneider, TU Kaiserslautern, Program co-Chair
Peter Milder, Stony Brook University, Design Contest Chair
Yi Deng, EagleForce Associates, Inc., Publication Chair

STEERING COMMITTEE

Arvind, MIT (U.S.)
Masahiro Fujita, U. Tokyo (Japan)
Rajesh Gupta, UC-San Diego (U.S.)
Constance Heitmeyer, NRL (U.S.)
James Hoe, Carnegie Mellon U. (U.S.)
Sandeep Shukla, IIT Kanpur, (IN)
Jean-Pierre Talpin, INRIA-IRISA (FR)
 

Related Resources

FSEN 2017   Fundamentals of Software Engineering
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
NFM 2017   The 9th NASA Formal Methods Symposium
SAC PL 2017   ACM SAC'17 PL Track
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
MOBILESoft 2017   4th IEEE/ACM International Conference on Mobile Software Engineering and Systems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
ECMSM 2017   2017 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics
BIOINFORMATICS 2017   8th International Conference on Bioinformatics Models, Methods and Algorithms