Publicity List 06

Mailing lists < bgcolor="#ececec"> < bgcolor="#f6f6f6"> < bgcolor="#f6f6f6">

Address	List name	Sent	OK	Comment
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