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