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

Page

Web

Wiki

Publicity List 06

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

-- EmirPasalic - 17 Jan 2006