From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3889 Path: news.gmane.org!not-for-mail From: Oege.de.Moor@comlab.ox.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: PEPM 2008: abstracts due Oct 12 Date: Tue, 11 Sep 2007 12:01:04 GMT Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1241019584 10746 80.91.229.2 (29 Apr 2009 15:39:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:39:44 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Tue Sep 11 14:59:08 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 11 Sep 2007 14:59:08 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IV9tn-0002SG-Nm for categories-list@mta.ca; Tue, 11 Sep 2007 14:51:43 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 39 Xref: news.gmane.org gmane.science.mathematics.categories:3889 Archived-At: 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 category theorists on any topic relating to categorical justification of program fusion rules 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.