[Prev][Next][Index][Thread]

ACM-IEEE MEMOCODE'2003 - Call for Papers

Dear colleagues,

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.
Best regards,
Jean-Pierre.

______________________________________________________________________________

              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.

IMPORTANT DATES

     Feb.  1.,  2003 - submission deadline (firm)
     March 15., 2003 - authors notification
     March 31., 2003 - final versions of accepted papers due
		      and authors registration deadline