Second ACM-IEEE 
International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2004)

June 22-25, 2004 -- San Diego Hilton Harbor Island -- San Diego, California
CAS


Invited Keynote Speakers

Randy Bryant (Carnegie Mellon University)
David Dill (Stanford)
Edward Lee (UC Berkeley)

General Co-Chairs
Arvind (Mass. Inst. of Technology, U.S.)
Sandeep Shukla (Virginia Tech, U.S.)


Program Co-Chairs
Connie Heitmeyer (Naval Research Lab, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)


Local Arrangement Chair: Ingolf Krueger
Panels Chair: Forrest Brewer 
Tutorial Chair:
Jose Meseguer

Publicity Co-chairs:
Stephen Edwards
James Hoe

Steering Committee
Arvind (Mass. Inst. of Technology, U.S.)
Masahiro Fujita (Univ. of Tokyo, Japan)
Rajesh Gupta (UC San Diego,  U.S.)
Paul Le Guernic (INRIA-IRISA, France)
Sandeep   Shukla (Virginia Tech, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)



CONFERENCE PROGRAM

TUTORIALS PROGRAM

CONFERENCE REGISTRATION

HOTEL REGISTRATION

INFORMATION



PREVIOUS EDITIONS

MEMOCODE'2003, Mont Saint-Michel

MEMOCODE'2004, San Diego



Sponsors

ACM Special Interest Group on Design Automation
IEEE Computer Society DATC
IEEE Circuits and System Society

CONFERENCE CHARTER


Streaming Video of the Industrial Panel presentations

Courtesy UC San Diego and UC Discovery


NOTE: A realmedia-compatible streaming video sofware is needed to view these videos (e.g. realplayer)


MEMOCODE'2004 was supported by the Office of Naval Research, the National Science Foundation, UC Discovery Grant, BlueSpec Incorporated, INRIA-IRISA
ONRnsf logoINRIAIRISA