Mailing lists
Address
List name
Sent
OK
Comment
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
< bgcolor="#ececec"> >
lics@math.uic.edu
yes
< bgcolor="#f6f6f6"> >
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
< bgcolor="#f6f6f6"> >
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
clean-list@cs.kun.nl
yes
?
lcs@cis.upenn.edu
yes
awaiting moderator aproval
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
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
logic@Cs.Cornell.EDU
yes
bounced/underliverable
logic@theory.lcs.mit.edu
yes
no
bounced/underliverable
haskell@haskell.org
yes
yes.
confirmed
stratego@cs.uu.nl
yes
yes
confirmed
types@cis.upenn.edu
yes
yes
confirmed
security@fosad.org
yes
moderator approval pending
vdm-forum@JiSCMAIL.AC.UK
yes
needs joining/resend
vki-list@dfki.de
yes
not approved (as far as I understand German :)
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
announce@aosd.net
Aspect Oriented Software Development
Yes
?
Pending moderator approval
announcements@oopsla.acm.org
OOPSLA
Yes
Pending moderator approval
pl-seminar@ccs.neu.edu
yes
?
rejected/pending membership
eapls@jiscmail.ac.uk
yes
yes
sent
--
EmirPasalic
- 17 Jan 2006
Revision: r1.1 - 24 Jun 2013 - 10:38 -
TWikiGuest
PEPM14
>
PublicityList06
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback