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.5 required=5.0 tests=AWL,NO_REAL_NAME autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B8856BC6C for ; Tue, 11 Sep 2007 14:00:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOMf5kbAXQImn2dsb2JhbACOGAEBAgcEBgcIGA X-IronPort-AV: E=Sophos;i="4.20,237,1186351200"; d="scan'208";a="1044746" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2007 14:01:07 +0200 Received: from relay3.mail.ox.ac.uk (relay3.mail.ox.ac.uk [163.1.2.165]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8BC11wJ007685 for ; Tue, 11 Sep 2007 14:01:01 +0200 Received: from mail.comlab.ox.ac.uk ([163.1.27.1]) by relay3.mail.ox.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1IV4QT-0003rp-As for caml-list@yquem.inria.fr; Tue, 11 Sep 2007 13:01:05 +0100 Received: from mercury.comlab.ox.ac.uk ([163.1.27.18]:41681 helo=comlab.ox.ac.uk) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1IV4QT-00048w-46 for caml-list@yquem.inria.fr; Tue, 11 Sep 2007 13:01:05 +0100 Received: (from oege@localhost) by mercury.comlab.ox.ac.uk (comlab5.0/8.13.8+Sun) id l8BC14Tr020363 for caml-list@yquem.inria.fr; Tue, 11 Sep 2007 12:01:04 GMT Date: Tue, 11 Sep 2007 12:01:04 GMT From: Oege.de.Moor@comlab.ox.ac.uk Message-Id: <200709111201.l8BC14Tr020363@mercury.comlab.ox.ac.uk> To: Subject: PEPM 2008: abstracts due Oct 12 MIME-Version: 1.0 Content-Type: text/plain X-j-chkmail-Score: MSGID : 46E6837D.002 on discorde : j-chkmail score : XX : 5/20 0 0.000 -> 2 X-Miltered: at discorde with ID 46E6837D.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; oege:01 moor:01 pepm:01 pepm:01 sigplan:01 keynotes:01 bodik:01 co-located:01 popl:01 oege:01 moor:01 partial:01 caml:02 proceedings:02 functional:02 PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in functional programming on any topic relating to analysis and transformation of caml programs Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck@acm.org) and Oege de Moor (oege@comlab.ox.ac.uk) with any queries they might have.