From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 1A024BC37 for ; Sat, 28 Nov 2009 21:07:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AooBADUSEUuBWB4FhWdsb2JhbACQVwGLOgEBAQoLCgUVqEKPM4I9gXQE X-IronPort-AV: E=Sophos;i="4.47,306,1257116400"; d="scan'208";a="38943248" Received: from mx1.imag.fr (HELO shiva.imag.fr) ([129.88.30.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Nov 2009 21:07:08 +0100 Received: from mail-veri.imag.fr (mail-veri.imag.fr [129.88.43.52]) by shiva.imag.fr (8.13.8/8.13.8) with ESMTP id nASK5AO3022866 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Sat, 28 Nov 2009 21:05:10 +0100 Received: from rechasse.imag.fr ([129.88.43.87]) by mail-veri.imag.fr with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1NETZP-0006NL-U0 for caml-list@inria.fr; Sat, 28 Nov 2009 21:07:03 +0100 Received: from jobstman by rechasse.imag.fr with local (Exim 4.63) (envelope-from ) id 1NETZP-0007Cz-QG for caml-list@inria.fr; Sat, 28 Nov 2009 21:07:03 +0100 To: caml-list@inria.fr Subject: Memocode 2010 First Call for Papers Message-Id: From: Barbara Jobstmann Date: Sat, 28 Nov 2009 21:07:03 +0100 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1 (shiva.imag.fr [129.88.30.5]); Sat, 28 Nov 2009 21:05:10 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: nASK5AO3022866 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: jobstman@imag.fr MailScanner-NULL-Check: 1260043511.91283@qVd2/mGIKCjUImBNLlCHRA X-Spam: no; 0.00; abstraction:01 unify:01 girault:01 girault:01 eindhoven:01 gautier:01 infineon:01 kirsch:01 lavagno:01 torino:01 satnam:01 lothar:01 thiele:01 fei:01 rajesh:01 MEMOCODE 2010 First Call for Papers 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. http://www.memocode-conference.com ---------------------------------------------------- IMPORTANT DATES: Abstract submission deadline: February 26, 2010 Paper submission deadline: March 5, 2010 Notification of acceptance: April 30, 2010 Poster submission deadline: May 14, 2010 Notification for Posters: May 28, 2010 Final Version for Papers: May 28, 2010 ---------------------------------------------------- The eighth MEMOCODE conference will attract 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 seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results. Topics of interest for regular submissions include but are not limited to - system- and transaction-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification, - design and verification methods for composition of concurrent systems: multi-core platform architectures, systems-on-chip, networks-on-chip, - non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design, - system-level estimation of performance and power in heterogeneous hardware/software architectures, - applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows, and - modeling and reuse of intellectual property at system-level. PROCEEDINGS: Conference proceedings will be published by the IEEE Computer Society. SUBMISSION: Submissions of research and experience papers will only be accepted through the conference web site. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings. Poster submissions should consist of an abstract of at most 250 words. The abstract will be distributed to the conference attendants but will not be published. Note that the poster deadline is different from the paper deadline. DESIGN CONTEST: MEMOCODE will again have a design contest. The contest will start March 1, 2010. The deadline for submission is 31 March 2010 and the notification of the results is on May 14, 2010. The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the two categories in 2009. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings; winning teams will be invited to contribute a 4-page short paper. Each team submitting a completed and working entry will also receive a commemorative plaque with their name and results. Please refer to the conference website for more information and updates. TUTORIALS: MEMOCODE will feature tutorials related to hardware/software codesign. Please send your tutorial proposals to alain.girault@inria.fr. ---------------------------------------------------- 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) 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)