home Home
venue Venue and Travel
venue Accommodation
program Program
social Social Events
poster Poster
registration Registration
speakers Invited Speakers
venue Accepted Papers
submit Design Contest
cfp Call for Papers

Eighth ACM/IEEE International Conference on
Formal Methods and Models for Codesign

Grenoble, France
July 26-28, 2010

Memocode 2010 was great!
Thanks a lot to all the sponsors, reviewers, panelists, speakers, and attendees.

Pictures from Memocode 2010

General Chair

Klaus Schneider (Kaiserslautern)

Finance Chair

James Hoe (CMU)

Program Chairs

Barbara Jobstmann (CNRS)
Luca Carloni (Columbia)

Publication Chair

Jens Brandt (Kaiserslautern)

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) 		  Memocode Grenoble
(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.

Online Registration

Location

 Conference will take place at Europole in Grenoble. More details about the location and travel information can be found here. A list of hotels can be found here.

Invited Speakers

Design Contest

Results are now available! http://memocode2010.csail.mit.edu

Important Dates

Abstract submission deadline:February 26, 2010 (passed)
Paper submission deadline: March 12, 2010 (passed)
Notification of acceptance: April 30, 2010 (passed)
Poster submission deadline: May 14, 2010 (passed)
Notification for posters: May 28, 2010 (passed)
Final version for papers: May 28, 2010 (passed)
Registration opens: June 1, 2010 (passed)
End of early registration: July 1, 2010 (passed)

Sponsors

IEEE CEDA, IEEE CAS, ACM SIGBED, ACM SIGDA

Memocode 2010 is also supported by ArtistDesign NoE, University Joseph Fourier Grenoble, CRI PILSI, CNRS, Grenoble Alpes Metropole, INRIA, CEA Ville de Grenoble, LETI, Xilinx, Bluespec, and Grenoble INP.

Previous Editions

MEMOCODE'03 Mont Saint Michel, France
MEMOCODE'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
ieee
CEDA
acm
cas
artist design
ujf
cnrs
Grenoble Alpes Metropole
inria
cea leti
Ville de Grenoble
CRI PILSI
Xilinx
Bluespec
INPG
Back