Difference between revisions of "Event:MEMOCODE 2008"

Latest revision as of 15:26, 19 October 2022

The document "MEMOCODE 2008" was published on "2022-10-19T15:26:53" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:MEMOCODE 2008.

The document "MEMOCODE 2008" describes an event in the sense of a conference.

The document "MEMOCODE 2008" contains information about the event "MEMOCODE 2008" with start date "2008/06/05" and end date "2008/06/07".

The event "MEMOCODE 2008" is part of the event series identified by [[Event Series:Bb4b6e78-7aee-45ab-955d-e55faec04edd]]

Deadlines

1
Feb

2008

Abstract

15
Feb

2008

Paper

31
Mar

2008

Notification

11
Apr

2008

Tutorial

18
Apr

2008

Camera-Ready

Venue

Anaheim, California, United States of America

Loading map...

Warning: Venue is missing. The map might not show the exact location.


                           CALL FOR PAPERS
              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 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

  Paper submission                 February 1, 2008
  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
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

This CfP was obtained from WikiCFP

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=MEMOCODE 2008
-|Title=Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign
+|Title=ACM-IEEE International Conference on Formal Methods and Models for Codesign
-|Type=Conference
+|Ordinal=6
-|Homepage=memocode-conference.com
+|In Event Series=Event Series:Bb4b6e78-7aee-45ab-955d-e55faec04edd
+|Single Day Event=no
+|Start Date=2008/06/05
+|End Date=2008/06/07
+|Event Status=as scheduled
+|Event Mode=on site
 |City=Anaheim
+|Region=California
 |Country=Country:US
+|Academic Field=Computer Science; Formal Methods; Model Checking; Software Verification
+|Official Website=http://memocode.irisa.fr/2008/
+|Type=Conference
+|Official Website=http://memocode-conference.com
 |wikicfpId=1912
 |pageCreator=127.0.0.1
 |contributionType=1
-|Single Day Event=no
-|Start Date=Jun 5, 2008
-|End Date=Jun 7, 2008
-|Academic Field=Computer Science
-|Event Status=as scheduled
-|Event Mode=on site
 }}
 {{Event Deadline
-|Notification Deadline=Mar 31, 2008
+|Notification Deadline=2008/03/31
-|Submission Deadline=Feb 1, 2008
+|Abstract Deadline=2008/02/01
+|Paper Deadline=2008/02/15
+|Camera-Ready Deadline=2008/04/18
+|Tutorial Deadline=2008/04/11
 }}
 {{S Event}}
 <pre>
@@ Line 136: / Line 142: @@
 Reinhard Wilhelm, Saarland University, Germany
 Fei Xie, Portland State, USA
-	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=1912&amp;copyownerid=421 WikiCFP][[Category:Embedded systems]]
+	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=1912&amp;copyownerid=421 WikiCFP]
+[[Category:Embedded systems]]