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