*Mailing lists* | *Address* | *List name*| *Sent* | *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 | | | |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| -- Main.EmirPasalic - 17 Jan 2006