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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 27B96BBAF for ; Tue, 14 Oct 2008 18:15:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUBAJxi9EiPtnwVmmdsb2JhbACTYAEBAQEBCAsKBxEFKap1gWs X-IronPort-AV: E=Sophos;i="4.33,410,1220220000"; d="scan'208";a="18727069" Received: from mga03.intel.com ([143.182.124.21]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Oct 2008 18:15:46 +0200 Received: from azsmga001.ch.intel.com ([10.2.17.19]) by azsmga101.ch.intel.com with ESMTP; 14 Oct 2008 09:15:35 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="4.33,410,1220252400"; d="scan'208";a="59741115" Received: from unknown (HELO azsmsx001.amr.corp.intel.com) ([10.2.167.98]) by azsmga001.ch.intel.com with ESMTP; 14 Oct 2008 09:14:57 -0700 Received: from orsmsx001.amr.corp.intel.com (10.22.226.42) by azsmsx001.amr.corp.intel.com (10.2.167.98) with Microsoft SMTP Server (TLS) id 8.1.291.1; Tue, 14 Oct 2008 09:14:57 -0700 Received: from orsmsx501.amr.corp.intel.com ([10.22.226.209]) by orsmsx001.amr.corp.intel.com ([10.22.226.42]) with mapi; Tue, 14 Oct 2008 09:14:56 -0700 From: "O'Leary, John W" To: "caml-list@yquem.inria.fr" Date: Tue, 14 Oct 2008 09:14:56 -0700 Subject: CFP: Hardware Design and Functional Languages (HFL'09) Thread-Topic: CFP: Hardware Design and Functional Languages (HFL'09) Thread-Index: AckuF/9arcJtHjmqQjeX8lBthvb53w== Message-ID: <4158487B9DEE0647BA23911D1C227957304DEF0E@orsmsx501.amr.corp.intel.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; etaps:01 etaps:01 2009:98 2007,:98 2009:98 cfp:01 cfp:01 abstract:01 abstract:01 proceedings:02 functional:02 functional:02 languages:03 languages:03 abstracts:05 Dear Colleagues, Below is a link to a call for abstracts for HFL 2009, a workshop to be held in conjunction with ETAPS 2009 (York, UK) on the topic of hardware design and functional languages. A major aim of this workshop is to open communication channels between researchers working in these two areas and between academia and industry. A successful workshop, held at Intel in 2005, started the process. HFL 2007, held before ETAPS in Braga, Portugal, was very well attended and proved to be a great venue for the exchange of ideas and practical experience on this topic. We are looking forward to another exciting workshop in 2009. We hope you will consider submitting an abstract and attending the workshop. Best wishes, Andy Martin (IBM, andy@martin-robson.com) John O'Leary (Intel, john.w.oleary@intel.com) IMPORTANT DATES One-page abstract due: 21 November 2008 Author Notification: 22 December 2008 Final version for proceedings: 2 February 2009 HFL 2009 WORKSHOP: 28-29 March 2009 (York, UK) FOR MORE INFORMATION Workshop Website: http://www.hflworkshop.org/hfl09 Call for Abstracts: http://www.hflworkshop.org/hfl09/HFL09_CFP.pdf