Third ACM-IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE'05)
July 11-14, 2005 -- Verona, Italy
CAS


Invited Keynote Speakers:
Nicolas Halbwachs (Verimag)
Dan Gajski (UC Irvine)
Alberto Sangiovanni Vincentelli (UC Berkeley)

 General Co-Chairs:
  Manfred Broy (TU Munich)
Jean-Pierre Talpin (INRIA-IRISA)

Program Co-Chairs:
Connie Heitmeyer (NRL)
John O'Leary (Intel)

Local Arrangement Chair: Franco Fummi
Panel Chair: Tevfik Bultan
Tutorial Chair: Sandeep Shukla

 Publicity Chair:
James Hoe (CMU)
Klaus Schneider (Kaiserslautern)

 Publication Chair:
Elizabeth Leonard (NRL)

Steering Committee:
Arvind (MIT)
Masahiro Fujita (Tokyo)
Rajesh Gupta (UC San Diego)
Paul Le Guernic (INRIA-IRISA)
Sandeep  Shukla (Virginia Tech)
Jean-Pierre Talpin (INRIA-IRISA)

 

MEMOCODE'03, Mont Saint Michel

MEMOCODE'04, San Diego




Sponsors 

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

In cooperation with

INRIA
Artist Network of Excellence

      



CONFERENCE INFORMATION

CHARTER

 CALL FOR PAPERS

CONFERENCE SUBMISSION SERVER (closed)

NSF travel grants for US students  

REGISTRATION INFORMATION

MONDAY TUTORIALS

CONFERENCE PROGRAM AND SCHEDULE

AFFILIATED WORKSHOP

Second international workshop on Globally Asynchronous and Locally Synchronous Design (FMGALS'2005) -- July 15, 2005.