| 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 |