General Chair
Klaus Schneider (Kaiserslauten)Finance Chair
James Hoe (CMU)Program Chairs
Barbara Jobstmann (CNRS)Luca Carloni (Columbia)
Design Contest
Joel Emer (Intel)Forrest Brewer (UCSB)
Local Chairs
Saddek Bensalem (UJF/CEA)Christian Fabre (CEA)
Tutorial Chair
Alain Girault (INRIA)Program Committee
David Atienza (EPFL)Twan Basten (Eindhoven)
Tevfik Bultan (UCSB)
Robert de Simone (INRIA)
Rainer Doemer (UCI)
Rolf Drechsler (Bremen)
Stephen Edwards (Columbia)
Franco Fummi (Verona)
Thierry Gautier (INRIA)
Ganesh Gopalakrishnan (Utah)
Josef Haid (Infineon)
Franjo Ivancic (NEC)
Christoph Kirsch (Salzburg)
Daniel Kroening (Oxford)
Yassine Lakhnech (UJF)
Luciano Lavagno (Torino)
Elizabeth Leonard (NRL)
Rishiyur Nikhil (Bluespec, Inc.)
John O'Leary (Intel)
Roberto Passerone (Trento)
Diego Puschini (CEA)
Jan Reineke (UC Berkeley)
Patrick Schaumont (VirginiaTech)
Klaus Schneider (Kaiserslautern)
Sanjit Seshia (UC Berkeley)
Natasha Sharygina (Lugano)
Satnam Singh (Microsoft)
Michael Theobald (DE Shaw)
Lothar Thiele (ETHZ)
Fei Xie (Portland State)
Steering Committee
Arvind (MIT)Masahiro Fujita (University Tokyo)
Rajesh Gupta (UC San Diego)
Connie Heitmeyer (NRL)
James Hoe (CMU)
Sandeep Shukla (Virginia Tech)
Jean-Pierre Talpin (INRIA)
| (Photo by Claude Mansiot) |
The goal of MEMOCODE 2010, the eighth in a series of successful international conferences, is to gather researchers and practitioners in the field of the design of modern hardware and software system to explore ways in which future design methods can benefit from new results on formal methods.
Location
Conference will take place in Maison Jean Kuntzmann at the campus of the Grenoble universities. More details can be found here.Call for Papers
[html] [pdf]Previous Editions
MEMOCODE'03 Mont Saint Michel, FranceMEMOCODE'04 San Diego, USA
MEMOCODE'05 Verona, Italy
MEMOCODE'06 Napa Valley, USA
MEMOCODE'07 Nice, France
MEMOCODE'08 Anaheim, USA
MEMOCODE'09 Cambridge, USA