Robert de Simone (INRIA, France)
Srini Devadas (MIT, USA)

James Hoe (CMU, USA)
Klaus Schneider  (Kaisersl., Germany)

Elizabeth Leonard  (NRL, USA)

Forrest Brewer (UC Santa Barbara, USA)

Fei Xie (Portland, USA)

Arvind (MIT, USA) 
Masahiro Fujita (Univ. Tokyo, Japan)
Rajesh Gupta (UC San Diego, USA)
Connie Heitmeyer (NRL, USA)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (INRIA, France)

MEMOCODE'03 Mt. St.-Michel, France

MEMOCODE'04 San Diego, USA

MEMOCODE'05 Verona, Italy
MEMOCODE'06 Napa Valley, USA

The goal of MEMOCODE'07, the fifth 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.

SPONSORS

ACM SIGBED and ACM SIGDA
IEEE CAS and IEEE CEDA

CONFERENCE PROGRAM

INFORMATION

Conference location

Conference registration

Hotels information

Call for papers

Design contest

COLOCATED EVENT

Third International Worhshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS'07, Tuesday, May 29th.

NEXT MEETING

MEMOCODE'08, Anaheim, USA, co-located with DAC'08