 |
Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008) June 5-7, Anaheim, CA, USA |
 |
 |
|
|
Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008) June 5-7, Anaheim, CA, USA |
|
|
|
| General Chairs
Forrest Brewer (UC Santa Barbara, USA)
Rajesh Gupta (UC San Diego, USA) Program Chairs
Stephen A. Edwards (Columbia, USA)
Klaus Schneider (Kaisersl., Germany) Design Contest Chairs
Krste Asanovic (UC Berkeley, USA)
James Hoe (CMU, USA) Patrick Schaumont (Virginia Tech, USA) Publicity Chair
Fei Xie (Portland State Univ., USA)
Industry Chair
Arvind (MIT, USA)
Local Arrangement
Forrest Brewer (UC Santa Barbara, USA)
Steering Committee Arvind
(MIT, USA)
Masahiro Fujita (Univ. Tokyo, Japan) Rajesh Gupta (UC San Diego, USA) Connie Heitmeyer (NRL, USA) James Hoe (CMU, USA) Sandeep Shukla (Virginia Tech, USA) Jean-Pierre Talpin (INRIA, France) Previous editions MEMOCODE'03 Mt. St.-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
Please direct any question and feedback about this website to Fei Xie (xie"at"cs.pdx.edu). |
The goal of MEMOCODE'08, the sixth 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. MEMOCODE'08 will be co-located with DAC'08. SPONSORS ACM SIGBED and ACM SIGDA CALL FOR PAPERS [PDF] [TXT] CAMERA-READY AUTHOR INSTRUCTIONS IMPORTANT DATES Submission of abstracts:
February 1, 2008 (Registration Information, Registration by Fax, and Privacy Policy) CONFERENCE LOCATION AND HOTELS INFORMATION RELATED EVENTS |
||
