PEPM 2012
Call for Papers
Important Dates
Program Committee

Advice for Authors
Research Paper
Tool Paper
Submission

PEPM Program
Invited Talks
Accepted Papers
A Best Paper Award

Local Information
Venue
Registration & Accommodation

History
Previous Meetings
Journal Special Issues
Statistics

Publicity List 06

ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

Mailing lists

Address	List name	Sent	OK	Comment
zforum@prg.oz.ac.uk		yes		bounced/undeliverable
vki-list@dfki.de		yes		not approved (as far as I understand German :)
vdm-forum@JiSCMAIL.AC.UK		yes		needs joining/resend
types@cis.upenn.edu		yes	yes	confirmed
types-wg@durham.ac.uk		yes		bounced/undeliverable
thoeorynt@listserv.uic.edu		yes
theorynt@listserv.nodak.edu		yes
theory@brics.dk		yes
theory-logic@cs.cmu.edu		yes
theory-a@vm1.nodak.edu		yes		bounced/undeliverable
theorem-provers@ai.mit.edu		yes
template-haskell@haskell.org		yes		pending moderation
sts@lists.urchin.earth.li		yes
stratego@cs.uu.nl		yes	yes	confirmed
stp@dcs.gla.ac.uk		yes
softverf@nist.gov		yes		bounced/undeliverable
softtech@cs.uu.nl		yes
sicstus-users@sics.se		yes
seworld@cs.colorado.edu		yes
security@fosad.org		yes		moderator approval pending
sdrl@cis.upenn.edu		yes
rewriting@loria.fr		yes		bounced/undeliverable
quintus-users@quintus.com		yes
qed@mcs.anl.gov		yes
pvs@csl.sri.com		yes
pvs@csl.sr.com		yes		bounced/undeliverable
prolog-vendors@sics.se			yes
prolia@tlxf.geomail.org		yes
prog-lang@diku.dk		yes		pending moderation
plt-scheme@fast.cs.utah.edu		yes
pldg@Cs.Cornell.EDU		yes	no	bounced/undeliverable
pl-seminar@ccs.neu.edu		yes	?	rejected/pending membership
pept@kb.ecei.tohoku.ac.jp		yes	?
nuprllist@cs.cornell.edu		yes		bounced/undeliverable
mizar-forum@mizar.uwb.edu.pl		yes
mfpsmail4@linus.math.tulane.edu		yes
metaocaml-users@mailman.rice.edu		yes
mercury-ads@cs.mu.oz.au		yes
lprolog@cs.umn.edu		yes
logic@theory.lcs.mit.edu		yes	no	bounced/underliverable
logic@Cs.Cornell.EDU		yes		bounced/underliverable
logic-list@cs.rice.edu		yes
logic-announce@uclink4.berkeley.edu		yes
linear@cs.stanford.edu		yes		bounced/undeliverable
lics@math.uic.edu		yes
lfcs-interest@dcs.ed.ac.uk		yes	no	bounced/undeliverable
lego-club@dcs.ed.ac.uk		yes	no	bounced/undeliverable
lcs@cis.upenn.edu		yes		awaiting moderator aproval
lande@irisa.fr		yes
kgs@logic.tuwien.ac.at		yes
isabelle-users@cl.cam.ac.uk		yes
ipalist@win.tue.nl		yes	no	bounced/undeliverable
ipa@tue.nl		yes
info-hol@jaguar.cs.byu.edu		yes	no	bounced/undeliverable
imps@linus.mitre.org		yes
igparse-list@cs.cmu.edu		yes	no	bounced/undeliverable
haskell@haskell.org		yes	yes.	confirmed
haskell-cafe@haskell.org		yes	?	pending moderation
gulp@www.dimi.uniud.it		yes	?
gulp@di.unipi.it		yes	no	bounced/undeliverable
grin@di.unipi.it		yes
gpce-news@cs.rice.edu	Gpce News	Yes
glp@first.gmd.de		yes	No	bounced/undeliverable
fsdm@cs.uq.oz.au		yes	No	bounced/undeliverable
forum@jsoftware.com		yes	?
formal-methods@cs.uidaho.edu		yes	?
fme@mailbase.ac.uk		yes	?	bounced/undeliverable
fm-info@air16.larc.nasa.gov		yes	?
finite-model-theory@lists.RWTH-Aachen.de		yes	?
facs-members@lut.ac.uk		yes	?	bounced/undeliverable
erlang-questions@erlang.org		yes	?
elf-list@cs.cmu.edu		yes	no	bounced/undeliverable
ecoop-info@ecoop.org		yes	?
eapls@jiscmail.ac.uk		yes	yes	sent
dreamers@dai.ed.ac.uk		yes	no	bounced
deducktion@intellektik.informatik.th-darmstadt.de		yes	no	bounced
dbworld@cs.wisc.edu		yes	?
curry@informatik.rwth-aachen.de		yes	?
csl@dbai.tuwien.ac.at		yes	?
cs-logic@cs.indiana.edu		yes	?
cphc-conf@jiscmail.ac.uk		yes	?	Pending moderation
coq-club@pauillac.inria.fr		yes	?
concurrency@cwi.nl		yes	?
compunode@dfki.de		yes	?	bounced
compunode@compulog.org		yes	?
compulognet-parimp@dia.fi.upm.es		yes	?
compulog@doc.imperial.ac.uk		yes	?
clp@comp.nus.edu.sg		yes
clean-list@cs.kun.nl		yes		?
cgn-talk@yahoogroups.com		Yes	?	Pending moderation
announcements@oopsla.acm.org	OOPSLA	Yes		Pending moderator approval
announce@aosd.net	Aspect Oriented Software Development	Yes	?	Pending moderator approval
amast@cs.utwente.nl		Yes		Bounced
alp@doc.ic.ac.uk		Yes		Bounced

-- EmirPasalic - 17 Jan 2006