General Chair
Rajesh Gupta, UC San Diego

Program Chairs
James Hoe, CMU
Jens Palsberg, UCLA

Steering Committee
Arvind, MIT
Masahiro Fujita, University of Tokyo
Rajesh Gupta, UC San Diego
Connie Heitmeyer, Naval Research Labs
Sandeep Shukla, Virginia Tech
Jean-Pierre Talpin, INRIA-IRISA

Local Arrangement Chair
Anmol Mathur, Calypto Design Systems

Panel Chair
Sandeep Shukla, Virginia Tech

Publicity Chair
Stephen Edwards, Columbia

Publication Chair
Elizabeth Leonard, NRL

Previous Editions
MEMOCODE'03 Mont Saint-Michel
MEMOCODE'04 San Diego
MEMOCODE'05 Verona

Conference Information
CALL FOR PAPERS
SUBMISSION SERVER
CONFERENCE REGISTRATION

 Registration information and policy
Fax registration form


Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06)
July 27-29, 2006 -- Embassy Suites, Napa, California

 SPONSORS

ACM SIGDA - IEEE Circuits and System Society
IEEE Computer Society - IEEE Council on EDA
Supporters  - Bluespec - Nokia - UC Discovery

KEYNOTES   Rajeev Alur, University of Pennsylvania
                     Alex Aiken, Stanford University
                     Carl Seger, Intel
TUTORIALS  Constance Heitmeyer, Naval Research Laboratory
                     Rigorous requirements for critical systems: specification, formal
                     verification and validation with SCR
                      Ran Ginosar, Technion
                     Synchronization in multiple-clock SOC designs and GALS design 

CONFERENCE PROGRAM

 Authors of the best papers presented at MEMOCODE'06 will be invited to contribute for a special issue of Springer's International Journal on Design Automation for Embedded Systems


NEW - STUDENT GRANTS FOR MEMOCODE'06