HART 2014
Call for Papers
Important Dates
Program Committee
Submission

Program
Invited Talk
Accepted Papers
Schedule

Local Information
Venue
Registration & Accommodation

History
Previous Meeting

Page

Web

Wiki

Publicity List 06

Second Workshop on Haskell And Rewriting Techniques (HART 2014)
Mailing lists
Address up 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