From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3955
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: Fri, 5 Oct 2007 13:18:52 GMT
Message-ID: <E1IeLWl-000393-0u@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Content-Type: text/plain
X-Trace: ger.gmane.org 1241019625 11077 80.91.229.2 (29 Apr 2009 15:40:25 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:40:25 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Sat Oct  6 23:19:16 2007 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Sat, 06 Oct 2007 23:19:16 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1IeLWl-000393-0u
	for categories-list@mta.ca; Sat, 06 Oct 2007 23:05:55 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 12
Original-Lines: 42
Xref: news.gmane.org gmane.science.mathematics.categories:3955
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/3955>

>>>                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

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.