From: Oege.de.Moor@comlab.ox.ac.uk
To: <categories@mta.ca>
Subject: PEPM 2008: abstracts due Oct 12
Date: Tue, 11 Sep 2007 12:01:04 GMT [thread overview]
Message-ID: <E1IV9tn-0002SG-Nm@mailserv.mta.ca> (raw)
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.
next reply other threads:[~2007-09-11 12:01 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-11 12:01 Oege.de.Moor [this message]
2007-10-05 13:18 Oege.de.Moor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1IV9tn-0002SG-Nm@mailserv.mta.ca \
--to=oege.de.moor@comlab.ox.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).