categories - Category Theory list
 help / color / mirror / Atom feed
* PEPM 2008: abstracts due Oct 12
@ 2007-10-05 13:18 Oege.de.Moor
  0 siblings, 0 replies; 2+ messages in thread
From: Oege.de.Moor @ 2007-10-05 13:18 UTC (permalink / raw)
  To: categories

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









^ permalink raw reply	[flat|nested] 2+ messages in thread

* PEPM 2008: abstracts due Oct 12
@ 2007-09-11 12:01 Oege.de.Moor
  0 siblings, 0 replies; 2+ messages in thread
From: Oege.de.Moor @ 2007-09-11 12:01 UTC (permalink / raw)
  To: categories

                  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.









^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2007-10-05 13:18 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-10-05 13:18 PEPM 2008: abstracts due Oct 12 Oege.de.Moor
  -- strict thread matches above, loose matches on Subject: below --
2007-09-11 12:01 Oege.de.Moor

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