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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 44A36BC69 for ; Mon, 6 Aug 2007 15:00:27 +0200 (CEST) Received: from relay6.mail.ox.ac.uk (relay6.mail.ox.ac.uk [163.1.2.167]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l76D0Qxs026968 for ; Mon, 6 Aug 2007 15:00:27 +0200 Received: from mail.comlab.ox.ac.uk ([163.1.27.1]) by relay6.mail.ox.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1II2CA-0001mw-M0 for caml-list@yquem.inria.fr; Mon, 06 Aug 2007 14:00:26 +0100 Received: from mercury.comlab.ox.ac.uk ([163.1.27.18]:59067 helo=comlab.ox.ac.uk) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1II2CA-0007EU-5G for caml-list@yquem.inria.fr; Mon, 06 Aug 2007 14:00:26 +0100 Received: (from oege@localhost) by mercury.comlab.ox.ac.uk (comlab5.0/8.13.8+Sun) id l76D0PsS004696 for caml-list@yquem.inria.fr; Mon, 6 Aug 2007 13:00:25 GMT Date: Mon, 6 Aug 2007 13:00:25 GMT From: Oege.de.Moor@comlab.ox.ac.uk Message-Id: <200708061300.l76D0PsS004696@mercury.comlab.ox.ac.uk> To: Subject: PEPM 2008 MIME-Version: 1.0 Content-Type: text/plain X-j-chkmail-Score: MSGID : 46B71B6A.004 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46B71B6A.004 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.