MEMOCODE 2010 Call for Participation http://www.memocode-conference.com
The eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) will be held on July 26-28, 2010 in Grenoble, France. The MEMOCODE conference series attracts researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE presents novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. Invited Speakers: - Jordi Cortadella, Universitat Politecnica de Catalunya, Spain - Rupak Majumdar, University of California, Los Angeles, USA - Eric Flamand, STMicroelectronics, France - Alain Darte, CNRS/LIP, France - Josef Haid, Infineon Technologies, Austria MEMOCODE 2010 will feature a panel discussion on "Low-Power HW/SW Design: from Technology to Verification" and present the winning teams of the MEMOCODE 2010 HW/SW Co-Design Contest. A detailed program can be found at http://www-memocode2010.imag.fr/files/memocode-program.pdf MEMOCODE 2010 is sponsored by IEEE CEDA, IEEE CAS, ACM SIGBED, ACM SIGDA. It is also supported by ArtistDesign NoE, University Joseph Fourier Grenoble, CRI PILSI, CNRS, INRIA, CEA LETI, Xilinx, and Grenoble INP. ---------------------------------------------------- General Chair: Klaus Schneider (Kaiserslauten) Finance Chair: James Hoe (CMU) Program Chairs: Barbara Jobstmann (CNRS) and Luca Carloni (Columbia) Design Contest: Joel Emer (Intel) and Forrest Brewer (UCSB) Local Chairs: Saddek Bensalem (UJF/CEA) and Christian Fabre (CEA) Tutorial Chair: Alain Girault (INRIA) Publication Chair: Jens Brandt (Kaiserslautern) 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 mailing list [email protected] https://lists.cs.columbia.edu/cucslists/listinfo/memocode ------------------------------------------------------------------------------ ThinkGeek and WIRED's GeekDad team up for the Ultimate GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the lucky parental unit. See the prize list and enter to win: http://p.sf.net/sfu/thinkgeek-promo _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
