[ecoop-info] MEMOCODE 2008: deadline extension

[Klaus Schneider]

                   CALL FOR PAPERS
                     
              *** deadline extension ***
                     
        Sixth ACM-IEEE International Conference on
          Formal Methods and Models for Codesign
                      (MEMOCODE)

             http://memocode-conference.com

            June 5-7, 2008, Anaheim, CA, USA

The sixth MEMOCODE conference will gather researchers and
practitioners who design modern hardware/software systems.  
Our goal is to consider new formal and systematic techniques
for the design of dependable hardware/software systems.  
Many new languages, abstractions, refinement and analysis
techniques have already proved to provide a sound methodological
basis for high-level modeling, design, and development of hardware
and software systems including the adaptation and re-use of existing
components.

We invite papers, panel proposals, and tutorial proposals on the
application of formal methods to hardware and software design.

Topics include

    * dependable design methodologies
    * specification and modeling of hardware/software systems
    * formal verification (model checking, theorem proving)
    * specification-based testing
    * dependable synthesis methods for hardware and software
    * component-based design and design space exploration
    * optimization and hardware/software partitioning
    * performance/power analysis

IMPORTANT DATES

   Submission of Abstracts          February  1, 2008
   Submission of Papers             February 15, 2008 ** EXTENDED **
   Panels and tutorials             April 11, 2008
   Notification of acceptance       March 31, 2008
   Final Version of Papers          April 11, 2008

DESIGN CONTEST

MEMOCODE will again run a design contest.  Please refer to
http://rijndael.ece.vt.edu/memocontest08 for more information.
        
PROCEEDINGS
 
Conference proceedings will be published by the IEEE Computer Society.
Best papers of previous MEMOCODE conferences have been published in
special issues of international journals including ACM TECS and
Springer's FMSD.

PAPER SUBMISSION

Submissions of research and experience papers will only be accepted
through the conference web site. Papers must not exceed 10 pages and
must be formatted following IEEE Computer Society guidelines.
Submissions must be written in English, describe original work, and
not substantially overlap papers that have been published or are being
submitted to a journal or another conference with published proceedings.

CHAIRS

General Chairs
Forrest Brewer, UC Santa Barbara, USA
Rajesh Gupta, UC San Diego, USA

Program Chairs
Stephen A. Edwards, Columbia, USA
Klaus Schneider, Kaiserslautern, Germany

Publicity Chair
Fei Xie, Portland State, USA

Panel Chair
Luca Carloni, Columbia, USA

Industry Chair
Arvind, MIT, USA

Local Arrangements
Forrest Brewer, UC Santa Barbara, USA

TECHNICAL PROGRAM COMMITTEE

Arvind, MIT, USA  
Twan Basten, Eindhoven, Netherlands
Forrest Brewer, UC Santa Barbara, USA
Tevfik Bultan, UC Santa Barbara, USA
Luca Carloni, Columbia, USA
Robert de Simone, INRIA, France
Stephen A. Edwards, Columbia, USA
Masahiro Fujita, Tokyo, Japan
Franco Fummi, Verona, Italy              
Ganesh Gopalakrishnan, Utah, USA
Rajesh Gupta, UC San Diego, USA
Connie Heitmeyer, NRL, USA
James Hoe, CMU, USA
Ahmed Jerraya, CEA, France
Thomas Kropf, Bosch, Germany
Luciano Lavagno, Politecnico di Torino, Italy
Elizabeth Leonard, NRL, USA
John O'Leary, Intel, USA
Zebo Peng, Linkoping, Sweden
Carl Pixley, Synopsys, USA
Patrick Schaumont, Virginia Tech, USA
Klaus Schneider, Kaiserslautern, Germany
Sandeep Shukla, Virginia Tech, USA
R. K. Shyamasundar, TIFR, India
Jean-Pierre Talpin, INRIA, France
P.S. Thiagarajan, Singapore
Reinhard Wilhelm, Saarland University, Germany
Fei Xie, Portland State, USA