This page contains a list of mailinglists that can be used to send calls for papers to.
It does not seem appropriate or necessary to send such announcements to every obscure
mailinglist. The annotations indicate which announements have been sent to which list.
Lists annotated with stars are important lists.
Primary target of announcements is the gpce-news list.
gpce-news@cs.rice.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
aiia@di.unito.it
alp@doc.ic.ac.uk CFP05 FinCFP05 CfPart05 dead
amast@cs.utwente.nl CFP05 FinCFP05 -
announce@aosd.net *** CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
announcements@oopsla.acm.org *** CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
appiar@ncc.up.pt CFP05 FinCFP05 CfPart05
cgn-talk@yahoogroups.com *** CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
clean-list@cs.kun.nl CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
clp@comp.nus.edu.sg CFP05 FinCFP05 CfPart05 Reg05 LastReg05
compulog@doc.imperial.ac.uk CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
compulognet-parimp@dia.fi.upm.es
compunode@compulog.org
compunode@dfki.de
concurrency@cwi.nl CFP05 FinCFP05 CfPart05 Reg05 LastReg05
coq-club@pauillac.inria.fr CFP05 FinCFP05 CfPart05 Reg05 LastReg05
cphc-conf@jiscmail.ac.uk
csl@dbai.tuwien.ac.at CFP05 FinCFP05 CfPart05 Reg05 LastReg05
cs-logic@cs.indiana.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
curry@informatik.rwth-aachen.de CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
dbworld@cs.wisc.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
deducktion@intellektik.informatik.th-darmstadt.de
dreamers@dai.ed.ac.uk
eacls@dimi.uniud.it CfC05 / dead
eapls@jiscmail.ac.uk *** PCFP FCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
ecoop-info@ecoop.org *** PCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
elf-list@cs.cmu.edu CfC05 / dead
erlang-questions@erlang.org CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
facs-members@lut.ac.uk CFP05 FinCFP05 CfPart05 dead
finite-model-theory@lists.RWTH-Aachen.de
fme@mailbase.ac.uk PCFP CfC05 CFP05 /;dead
fm-info@air16.larc.nasa.gov FinCFP05 CfPart05 dead
formal-methods@cs.uidaho.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
forum@jsoftware.com CfC05 / no permission
fsdm@cs.uq.oz.au CfC05 CFP05 FinCFP05 CfPart05 dead
glp@first.gmd.de CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
grin@di.unipi.it
grmail@dcs.edu.ac.uk
gulp@di.unipi.it
gulp@www.dimi.uniud.it
ham.ac.uk
haskell@haskell.org *** PCFP FCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
hvg@cl.cam.ac.uk
igparse-list@cs.cmu.edu
imps@linus.mitre.org
info-hol@jaguar.cs.byu.edu
ipalist@win.tue.nl PCFP ?? SCFP FinCFP05 \
ipa@tue.nl CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
isabelle-users@cl.cam.ac.uk CFP05 FinCFP05 CfPart05 Reg05 LastReg05
kgs@logic.tuwien.ac.at
lande@irisa.fr
lcs@cis.upenn.edu
lego-club@dcs.ed.ac.uk
lfcs-interest@dcs.ed.ac.uk
lics@math.uic.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
lics-request@dcs.ed.ac.uk
linear@cs.stanford.edu
logic-announce@uclink4.berkeley.edu
logic@Cs.Cornell.EDU
logic@cs.stanford.edu
logic-list@cs.rice.edu
logic@theory.lcs.mit.edu
lprolog@cs.umn.edu PCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
mercury-ads@cs.mu.oz.au PCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
mfpsmail4@linus.math.tulane.edu
mizar-forum@mizar.uwb.edu.pl
nuprllist@cs.cornell.edu
nuprlnotes@Cs.Cornell.EDU
pldg@Cs.Cornell.EDU
pl-seminar@ccs.neu.edu
plt-scheme@fast.cs.utah.edu PCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
prog-lang@diku.dk include CFP05 FinCFP05 CfPart05 Reg05 LastReg05
prolia@tlxf.geomail.org
prolog-vendors@sics.se
pvs@csl.sr.com, qed@mcs.anl.gov
pvs@csl.sri.com
quintus-users@quintus.com
rewriting@loria.fr CfC05 CFP05 FinCFP05 CfPart05 dead
sdrl@cis.upenn.edu
security@fosad.org
seworld@cs.colorado.edu FCFP CfC05 CFP05 -
sicstus-users@sics.se
softtech@cs.uu.nl PCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
softverf@nist.gov
stp@dcs.gla.ac.uk
stratego@cs.uu.nl * CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
sts@lists.urchin.earth.li *** CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
template-haskell@haskell.org * CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
theorem-provers@ai.mit.edu
theory-a@vm1.nodak.edu
theory@brics.dk CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
theory-logic@cs.cmu.edu CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
theorynt@listserv.nodak.edu
thoeorynt@listserv.uic.edu CfC05 / dead
types@cis.upenn.edu *** PCFP SCFP CfC05 CFP05 FinCFP05 CfPart05 Reg05 LastReg05
types-wg@durham.ac.uk
users@mozart.oz.org PCFP DEAD
vdm-forum@JiSCMAIL.AC.UK
vki-list@dfki.de
zforum@prg.oz.ac.uk