Publicity List 06

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
Mailing lists
Address List name Sent up OK Comment
gpce-news@cs.rice.edu Gpce News Yes    
alp@doc.ic.ac.uk   Yes   Bounced
amast@cs.utwente.nl   Yes   Bounced
announce@aosd.net Aspect Oriented Software Development Yes ? Pending moderator approval
announcements@oopsla.acm.org OOPSLA Yes   Pending moderator approval
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-announce@uclink4.berkeley.edu yes    
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    
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
prolog-vendors@sics.se     yes    

-- EmirPasalic - 17 Jan 2006