The goal of the MEMOCODE conference series, the seventh in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods.

Call for papers

Design contest

Conference Program

Information

Conference location

Conference registration

Hotels information

 

 


Seventh ACM-IEEE

International Conference on

Formal Methods and Models for Codesign (MEMOCODE'2009)

 

July 13-15, 2009, Cambridge, Massachusetts - USA

CAS

 

General Chair

Arvind (MIT)

Program Chairs

Patrick Schaumont  (Virginia Tech)
Roderick Bloem (Graz U of Tech)

Program Committee

Clark Barrett (NYU)
Twan Basten (Eindhoven)
Tevfik Bultan (UCSB)
Luca Carloni (Columbia)
Rainer Doemer (UCI)
Robert de Simone (INRIA)
Rolf Drechsler (Bremen)
Stephen A. Edwards (Columbia)
Franco Fummi (Verona)
David Hwang (GMU)
Ganesh Gopalakrishnan (Utah)
Barbara Jobstmann (EPFL)
Daniel Kroening (Oxford)
Luciano Lavagno (Torino)
Elizabeth Leonard (NRL)
John O'Leary (Intel)
Klaus Schneider (Kaiserslautern)
Satnam Singh (Microsoft)
Frank Vahid (UCR)
Kazutoshi Wakabayashi (NEC)
Reinhard Wilhelm (Saarbruecken)
Fei Xie (Portland State)

Design Contest Chairs

James Hoe (CMU)
Forrest Brewer (UCSB)

Local Chair

Sally Lee (MIT)

 

 

PREVIOUS EDITIONS

 

 

Stata