From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SORTED_RECIPS,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 407B7BB84 for ; Wed, 14 Jan 2009 12:22:21 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,263,1231110000"; d="scan'208";a="22453351" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Jan 2009 12:22:21 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id n0EBMKfs005775 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 14 Jan 2009 12:22:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMCACBabUmBGwLKkWdsb2JhbACBbIp5hzMBAQEBCQsKBxEEB6oXjluFb4Q9 X-IronPort-AV: E=Sophos;i="4.37,263,1231110000"; d="scan'208";a="22453346" Received: from mailrelay.tu-graz.ac.at (HELO mailrelay.tugraz.at) ([129.27.2.202]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Jan 2009 12:22:13 +0100 Received: from [10.27.152.35] (svn.iaik.tugraz.at [129.27.152.32]) (authenticated bits=0) by mailrelay2.tugraz.at (8.14.3/8.14.3) with ESMTP id n0EAMpEE006757 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 14 Jan 2009 11:22:51 +0100 (CET) Message-ID: <496DBD0E.7060509@gmail.com> Date: Wed, 14 Jan 2009 11:23:10 +0100 From: Memocode 2009 User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) MIME-Version: 1.0 To: cadeinc@cs.albany.edu, calligramme@loria.fr, calton@cc.gatech.edu, caml-list@inria.fr, caml-list@pauillac.inria.fr, canete@lsi.us.es, carrollm@cse.unsw.edu.au, carvenc@princeton.edu, categories@mta.ca, catuscia@lix.polytechnique.fr, cbarton@cs.ualberta.ca, cc@inf.ed.ac.uk, cconway@cs.nyu.edu, ccris@doc.ic.ac.uk, cctth@mucc.mahidol.ac.th, cdgill@cs.wustl.edu, cecuesta@infor.uva.es, cedric.meuter@ulb.ac.be, cerna@fi.muni.cz, cernyp@cis.upenn.edu, cgc@ece.unm.edu, chaouki@eece.unm.edu, chaowang@nec-labs.com, charles.consel@inria.fr, charles.pecheur@uclouvain.be, chechik@cs.toronto.edu, chiba@is.titech.ac.jp, childers@cs.pitt.edu, chrisb@cs.york.ac.uk, christa.schwanninger@mchp.siemens.de, christian.herde@informatik.uni-oldenburg.de, christian.pellegrini@cui.unige.ch, christian.queinnec@lip6.fr, chunhuang73@hotmail.com, church-announce@types.bu.edu, ciardo@cs.ucr.edu, cimatti@irst.itc.it, cimatti@itc.it, ck@brics.dk, cla97@doc.ic.ac.uk, clarkson@cs.cornell.edu, claude.marche@lri.fr, clean-list@cs.kun.nl, clh@doc.ic.ac.uk, clip@clip.dia.fi.upm.es, clp@comp.nus.edu.sg, clt@cs.stanford.edu, clynch@clarkson.edu, cmenon@ics.mq.edu.au, cok@frontiernet.net, colibri@let.uu.nl, collinsp@scot.ac.uk, colt@cs.uiuc.edu, comini@dimi.uniud.it, comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, concurrency@cwi.nl, confor@gmail.com, coq-club@pauillac.inria.fr, corchu@lsi.us.es, cordy@cs.queensu.ca, corina@mitrohin.de, corsini@labri.u-bordeaux.fr, cortier@loria.fr, cousot@dmi.ens.fr, cram@cs.sunysb.edu, crespi@elet.polimi.it, csmarkus@swan.ac.uk, ctaboch@dalet.com, ctr@informatik.uni-kiel.de, cuihtlauac.alvarado@francetelecom.com, cup@icot.or.jp, curry@informatik.rwth-aachen.de, cwkeller@cs.iastate.edu, cytron@cs.wustl.edu, d.rosenblum@cs.ucl.ac.uk, d.s.hutchins@sms.ed.ac.uk, da@inf.ed.ac.uk, dadeau@lifc.univ-fcomte.fr, damien.zufferey@epfl.ch, damm@informatik.uni-oldenburg.de, dan@sics.se, daniekro@inf.ethz.ch, daniel.klink@cs.rwth-aachen.de, daniel.kroening@inf.ethz.ch, daniel.winterstein@gmail.com, danielle.chamberlain@epfl.ch, dannyd@cs.kuleuven.ac.be, dashti@cwi.nl, dave@chalmers.se, dave@cs.chalmers.se, david.lacey@dcs.warwick.ac.uk, davide.sangiorgi@cs.unibo.it, daviding@ca.ibm.com, daw@dcs.gla.ac.uk, db@mail.tepkom.ru, dbworld@cs.wisc.edu, dcm@cs.cmu.edu, dcodish@dalet.com, dcowan@csg.uwaterloo.ca, ddino@dcs.qmul.ac.uk, dds@aueb.gr, debray@cs.arizona.edu, deepak@cse.iitk.ac.in, degano@di.unipi.it, dejan@cs.nyu.edu, deng.yuxin@pps.jussieu.fr, denicola@dsi.unifi.it, depaoli@disco.unimib.it, derekbronish@gmail.com, devanbu@cs.ucdavis.edu, devienne@lifl.fr, dfried@cs.indiana.edu, diaz@lsi.upc.es, dib@qinetiq.com, dick@cse.ogi.edu, didier.delanote@cs.kuleuven.be, didier.parigot@sophia.inria.fr, dierks@offis.de, dietsch@informatik.uni-freiburg.de, dilma@ime.usp.br, dima@cs.ubc.ca, dirk.beyer@sfu.ca, dirk.janssens@ua.ac.be, disch@informatik.uni-freiburg.de, divesh@research.att.com, dk@ropas.snu.ac.kr, dl@cs.oswego.edu, dlmoore@teleport.com, dm41@sussex.ac.uk, dnk@watson.ibm.com, doaitse@cs.ruu.nl, doaitse@cs.uu.nl, doaitse@swierstra.net, doh@cse.hanyang.ac.kr, dong@ou.edu, doron@dcs.warwick.ac.uk, douence@emn.fr, dougo@ccs.neu.edu, dragan@win.tue.nl, drechsle@informatik.uni-bremen.de, drgames@web.de, dsethi@princeton.edu, dsr@ics.uci.edu, dts@inf.ed.ac.uk, dulz@informatik.uni-erlangen.de, dvh@iist.unu.edu, dvnieuwe@vub.ac.be, dwile@teknowledge.com, dyane@inf.ed.ac.uk, ecoop-info@ecoop.org, eddy@cs.kuleuven.ac.be, edenney@email.arc.nasa.gov, ehmeier@informatik.uni-erlangen.de, ehrig@cs.tu-berlin.de, eichberg@informatik.tu-darmstadt.de, eisen@mpi-sb.mpg.de, ejfried@ca.sandia.gov, ejk@cs.brown.edu, elamma@ing.unife.it, elan-users@loria.fr, elissa@cs.cmu.edu, ellab@microsoft.com, emerson@cs.utexas.edu, emmanuel.fleury@labri.fr, emrek@cs.stanford.edu, emurphy@inf.ed.ac.uk, engelen@cs.fsu.edu, engler@lcs.mit.edu, enrica.nicolini@loria.fr, epontell@cs.nmsu.edu, erbi@eurecom.fr, erez@cs.technion.ac.il, eric.goubault@cea.fr, eric.hannah@intel.com, eric.mercer@byu.edu, erice@cs.washington.edu, erlang-questions@erlang.org, erlend.stav@idi.ntnu.no, erodri@lsi.upc.edu, eskang@csail.mit.edu, esparza@informatik.uni-stuttgart.de, esra@kr.tuwien.ac.at, esteva@iiia.csic.es, etuosto@di.unipi.it, evangeli@cnam.fr, evans@cs.virginia.edu, evw@cs.umn.edu, ewsmith@stanford.edu Subject: MEMOCODE Final CFP Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-TUG-Backscatter-control: UESbYjiGuNfQgfKBbSwDnA X-Scanned-By: MIMEDefang 2.65 on 129.27.10.19 X-Miltered: at concorde with ID 496DCAEC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; harel:01 pnueli:01 rinard:01 abstraction:01 unify:01 rajesh:01 eindhoven:01 lavagno:01 politecnico:01 torino:01 satnam:01 saarland:01 fei:01 2009:98 2009:98 FINAL CALL FOR PAPERS Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) http://csg.csail.mit.edu/Memocode2009/ 13-15 July 2009, Cambridge, Massachusetts, USA The seventh MEMOCODE conference will gather researchers and practitioners who create methods, tools, and architectures for hardware/software systems. Modern design faces increased design complexities in combination with tightening implementation constraints. This requires new techniques to create, refine, and verify hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to address this design problem. 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. Confirmed Keynote Speakers include David Harel (Weizmann), Amir Pnueli (NYU) and Martin Rinard (MIT). The conference includes a tutorial on implementation attacks by Thomas Popp (TU Graz) and a panel on the Future of Design Languages led by Stephen Edwards (Columbia). Topics of interest for regular submissions include, but are not limited to 1. System-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling. 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, networks-on-chip. 3. 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. 4. System-level estimation of performance and power in heterogeneous hardware/software architectures. 5. Applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows. 6. Modeling and reuse of intellectual property at system-level. IMPORTANT DATES Submission Website opens 30 January 2009 Paper submission 20 February 2009 Notification of acceptance 8 May 2009 Poster submission 15 May 2009 Notification for posters 29 May 2009 Final Version of Papers 29 May 2009 PROCEEDINGS Conference proceedings will be published by the IEEE Computer Society. The best papers will be considered for a special section of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 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. Posters 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. Submission web site: http://www.easychair.org/conferences/?conf=memocode2009. DESIGN CONTEST MEMOCODE will again have a design contest. The contest will start 1 March 2009. The deadline for submission is 31 March 2009 and the notification of the results is on 8 May 2009. The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the three categories in 2008. 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; prize winning teams will be invited to contribute a 4-page short paper. Please refer to the conference website for more information and updates. ORGANIZATION General Chairs Rajesh Gupta University of California at San Diego James C. Hoe Carnegie Mellon University Program Committee Chairs Roderick Bloem TU Graz Patrick Schaumont Virginia Tech Design Contest Chairs Forrest Brewer University of California at Santa Barbara James C. Hoe Carnegie Mellon University Local Chair Sally Lee MIT Program Committee Clark Barrett New York University Twan Basten Eindhoven University of Technology Tevfik Bultan University of California, Santa Barbara Luca Carloni Columbia University Rainer Doemer University of California, Irvine Robert de Simone INRIA Rolf Drechsler University of Bremen Stephen A. Edwards Columbia Univeristy Franco Fummi University of Verona David Hwang George Mason University Ganesh Gopalakrishnan University of Utah Barbara Jobstmann EPFL Daniel Kroening Oxford University Luciano Lavagno Politecnico di Torino Elizabeth Leonard NRL John O'Leary Intel Klaus Schneider University of Kaiserslautern Satnam Singh Microsoft Research Frank Vahid University of California, Riverside Kazutoshi Wakabayashi NEC Reinhard Wilhelm Saarland University Fei Xie Portland State University