Publicity List 06

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

-- EmirPasalic - 17 Jan 2006