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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8CDF6BC69 for ; Fri, 5 Oct 2007 15:18:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAC/WBUejAQKhn2dsb2JhbACOOQIBAQcEBgkIGA X-IronPort-AV: E=Sophos;i="4.21,236,1188770400"; d="scan'208";a="17336656" Received: from relay2.mail.ox.ac.uk ([163.1.2.161]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2007 15:18:54 +0200 Received: from mail.comlab.ox.ac.uk ([163.1.27.1]) by relay2.mail.ox.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1Idn4v-0001iW-8A for caml-list@yquem.inria.fr; Fri, 05 Oct 2007 14:18:53 +0100 Received: from mercury.comlab.ox.ac.uk ([163.1.27.18]:56530 helo=comlab.ox.ac.uk) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1Idn4v-0002iA-4d for caml-list@yquem.inria.fr; Fri, 05 Oct 2007 14:18:53 +0100 Received: (from oege@localhost) by mercury.comlab.ox.ac.uk (comlab5.0/8.13.8+Sun) id l95DIqJd003150 for caml-list@yquem.inria.fr; Fri, 5 Oct 2007 13:18:52 GMT Date: Fri, 5 Oct 2007 13:18:52 GMT From: Oege.de.Moor@comlab.ox.ac.uk Message-Id: <200710051318.l95DIqJd003150@mercury.comlab.ox.ac.uk> To: Subject: PEPM 2008: abstracts due Oct 12 MIME-Version: 1.0 Content-Type: text/plain 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 >>> LAST CALL <<< >>> abstracts - Oct 12, full papers - Oct 17 <<< 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.