ACM-IEEE MEMOCODE'2003 - Call for Papers
Subject: ACM-IEEE MEMOCODE'2003 - Call for Papers
From: Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
Date: Fri, 17 Jan 2003 15:12:11 +0100
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3a) Gecko/20021212
I would like to bring the following CFP to the attention of this mailing-list,
as topics such as behavioral and system types or high-level system design
languages might be of interest to some readers.
CONFERENCE ANNOUNCEMENT AND CALL FOR PAPERS
ACM & IEEE MEMOCODE 2003
First ACM-IEEE International Conference on Methods and Models for Codesign
Programming models, formal analysis methods and
verification techniques for high-level system
design: towards convergence of formal methods
and industrial trends.
June 24th-26th, 2003 - Mont Saint-Michel, France
CO-SPONSORS ACM Special Interest Group on Digital Automation
IEEE Circuits and System Society
IEEE Computer Society, Digital Automation TC
in cooperation with INRIA, IRISA, Université de Rennes I
OPENING SPEAKER Jose Meseguer (SRI)
INVITED SPEAKERS Ahmed Jerraya (IMAG)
Nancy Lynch (MIT)
Ken McMillan (Cadence)
GENERAL CHAIR Rajesh Gupta (University of California at San Diego)
CALL FOR PAPERS. Prospective authors are invited to submit original
and unpublished papers describing innovative techniques and results
addressing one or several of the following topics:
1. From general-purpose languages to formal semantic models
2. Analysis and verification of system-level models
3. System-level design methodologies
4. Formal methods for various aspects of system -evel design
5. Distribution, fault-tolerance, scheduling, non-functional
requirements (portability, availability, maintainability, etc).
SPECIAL ATTRACTION - PROBLEM SOLVING SESSIONS. Following extensive
discussions, the technical program committee has identified the
following specific problem areas where the need for innovation and
community contribution is important:
1. Levels of abstraction, notion of conformance and equivalence
2. Hierarchical verification
3. Should the space of implementation possibilities be determined
by the abilities of high-level synthesis and validation ?
4. Functional coverage, test generation, and incremental verification
5. Post-fabrication verification, update and patch
More details on the problem background and discussions can be found on
the conference website (www.irisa.fr/MEMOCODE). We especially seek
contributions addressing these problem areas while contributions within
the larger scope of the conference charter are welcome. Papers submitted
to problem solving sessions and general sessions will be reviewed in the
same manner, and papers submitted to one session may be moved to another
session if deemed appropriate by the committee.
Conference proceedings will be published by ACM or IEEE Press.
Selected papers from the conference will be published as a special
volume by Kluwer Academic Publishers on a later date.
Feb. 1., 2003 - submission deadline (firm)
March 15., 2003 - authors notification
March 31., 2003 - final versions of accepted papers due
and authors registration deadline