| Acronym | MemoCODE 2009 + |
| Camera ready due | May 29, 2009 + |
| End date | July 15, 2009 + |
| Event in series | MemoCODE + |
| Event type | Conference + |
| Has OC member | Forrest Brewer +, James C. Hoe + and Sally Lee + |
| Has PC member | Clark Barrett +, Twan Basten +, Tevfik Bultan +, Luca Carloni +, Rainer Doemer +, Robert de Simone +, Rolf Drechsler +, Stephen A. Edwards +, Franco Fummi +, David Hwang George +, Ganesh Gopalakrishnan +, Barbara Jobstmann +, Daniel Kroening +, Luciano Lavagno +, Elizabeth Leonard +, John O'Leary +, Klaus Schneider +, Satnam Singh +, Frank Vahid +, Kazutoshi Wakabayashi +, Reinhard Wilhelm + and Fei Xie + |
| Has coordinates | 42° 22' 30", -71° 6' 20"Latitude: 42.3751
Longitude: -71.105616666667 + |
| Has general chair | Rajesh Gupta + and James C. Hoe + |
| Has location city | Cambridge + |
| Has location country | Category:USA + |
| Has location state | Massachusetts + |
| Has program chair | Roderick Bloem + and Patrick Schaumont + |
| Homepage | http://csg.csail.mit.edu/Memocode2009 + |
| IsA | Event + |
| Notification | May 8, 2009 + |
| Poster deadline | May 15, 2009 + |
| Start date | July 13, 2009 + |
| Submission deadline | February 20, 2009 + |
| Title | Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign + |
