lics-list@math.uic.edu !!!! (distribution for lics?) ??? acclaim@sics.se ??? acl2@cs.utexas.edu (Applicative Common Lisp language, http://www.cs.utexas.edu/users/moore/acl2/) ??? afp@cs.chalmers.se ??? agents@cs.umbc.edu (Software Agents, http://www.cs.umbc.edu/agentslist/) ??? aiia@di.unito.it (AI*IA, ?, Italian, http://www.di.unito.it/~aiia/servizi.html) ??? ail-l@austin.onu.edu YES amast@cs.utwente.nl (Algebraic Methodology And Software Technology, http://www.cs.utwente.nl/data/amast/Index.html) NO apes@cs.strath.ac.uk (Algorithms, Problems, & Empirical Studies, http://www.apes.cs.strath.ac.uk/) ??? appiar@fct.unl.pt ??? asci@twi.tudelft.nl (Advanced School for Computing & Imaging, http://www.asci.tudelft.nl/) yes asian-logic@logic.jaist.ac.jp ??? atp_alias@cs.jcu.edu.au ??? benelog@cs.kuleuven.ac.be no bra-types@cs.chalmers.se (DEAD? Really, or just temporary?) YES types-wg@durham.ac.uk (replacement for bra-types) ??? brics-vip@daimi.aau.dk y?? categories@mta.ca (Categories, http://www.mta.ca/~cat-dist/categories.html) ??? cav-all@csa.cs.technion.ac.il yes ccl@dfki.uni-sb.de (Construction of Computational Logics) ??? cclp.x@parc.xerox.com ??? ccp@sics.se ((Timed) Concurrent Constraint Programming, http://www.sics.se/~alf/ccp/) YES church-announce@cs.bc.edu ??? clean-list@cs.kun.nl (Clean language list, subscriber only, http://www.cs.kun.nl/~clean/Manuals/Mailing_List/mailing_list.html) ??? clics@doc.ic.ac.uk ??? clp@cis.ohio-state.edu ??? clp@comp.nus.edu.sg (CLP (Constraints), http://www.comp.nus.edu.sg/~ryap/) ??? clpr-users@comp.nus.edu.sg (CLP(R), http://www.comp.nus.edu.sg/~ryap/) ??? colt@cs.uiuc.edu (Computational Learning Theory, http://listproc.cs.uiuc.edu/guest/info/COLT) ??? comlab@comlab.ox.ac.uk ??? compass-wg@bettina.informatik.uni-bremen.de (COMPrehensive Algebraic approach to System Specification and development, http://www.informatik.uni-bremen.de/agbkb/forschung/compass/) ??? comp@sw.cas.uec.ac.jp yes comp-lang-ml@cs.cmu.edu (comp.lang.ml moderator address) yes compilers@iecc.com (comp.compilers moderator address) BAD compulog-list@cwi.nl (DEAD ADDRESS) YES compunode@compulog.org (Computational Logic, http://www.compulog.org/) YES concurrency@cwi.nl YES coq-club@pauillac.inria.fr (http://pauillac.inria.fr/coq/contacts-eng.html) y?? csl@dbai.tuwien.ac.at (DEAD???? strange mail failure ...) ??? csp@carlit.toulouse.inra.fr ??? csp-list@cert.fr ??? cup@icot.or.jp (cu-Prolog) ??? dataloger@cs.chalmers.se ??? dbworld@cs.wisc.edu (databases, dead?) ??? deduktion@intellektik.informatik.th-darmstadt.de ??? discipl@inria.fr (DiSCiPl, Debugging Systems for Constraint Programming, http://discipl.inria.fr/) ??? dreamers@dai.ed.ac.uk ??? dss@cs.auc.dk YES eacsl@dimi.uniud.it YES eapls@jiscmail.ac.uk (should this be eapls-request?) y?? eatcs-it@cs.unibo.it (strange mail failures, repeated ...) ??? eclipse-users@icparc.ic.ac.uk (ECLiPSe Constraint Logic Programming System, http://www.icparc.ic.ac.uk/eclipse/mailinglist.html) ??? ecoop-info@ecoop.org (European Conference for Object-Oriented Programming, http://www.ecoop.org/) NO ecoopws@cui.unige.ch (PC for a particular workshop!) no elf-list@cs.cmu.edu (Elf & Twelf, http://www.cs.cmu.edu/~twelf/ ??? erlang-questions@erlang.org (Erlang, http://www.erlang.org/faq.html) no etaps99-list@cwi.nl ??? facs@lboro.ac.uk (Formal Aspects of Computing Science (British Computer Society), address goes to staff?, http://cs-fm.lboro.ac.uk/facs/) ??? fg214@informatik.uni-kiel.d400.de ??? flprog@informatik.uni-muenchen.de ??? fm-info@air16.larc.nasa.gov y?? formal-methods@cs.uidaho.edu ??? forum@jsoftware.com (J language, http://www.jsoftware.com/forum.htm) ??? fsdm@it.uq.edu.au (Formal Software Development Methods, http://www.svrc.it.uq.edu.au/pages/FSDM_mailing_list.html) ??? funlist@dimi.uniud.it yes gulp@di.unipi.it (Gruppo Ricercatori ed Utenti di Logic Programming, http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html, Italian group on declarative prog. langs.) yes haskell@haskell.org ??? hise-safety-critical@minster.cs.york.ac.uk ??? i3s@i3s.unice.fr ??? idss@socs.uts.edu.au (Intelligent Decision Support Systems, http://www-staff.mcs.uts.edu.au/~andrew/ML_use.html) ??? ifip-wg1_3-members@brics.dk (Members of IFIP Working Group 1.3 on Foundations of Systems Specification, http://www.brics.dk/~pdm/IFIP-WG1.3/MailingLists.html) ??? IFIP-WG1_3-Observers@brics.dk (Observers of IFIP Working Group 1.3 on Foundations of Systems Specification, http://www.brics.dk/~pdm/IFIP-WG1.3/MailingLists.html) ??? ifmsig@cs.tcd.ie ??? ikbsbb@inf.rl.ac.uk ??? ikbs@caad.ed.ac.uk ??? imps@linus.mitre.org ??? info-hol@lal.cs.byu.edu (the HOL Theorem Proving System, http://lal.cs.byu.edu/lal/hol-desc.html) ??? isabelle-users@cl.cam.ac.uk (Isabelle, http://www.cl.cam.ac.uk/Research/HVG/Isabelle/) ??? isss-people@ics.uci.edu ??? jssst-members@jssst.or.jp ??? kgs@dbai.tuwien.ac.at ??? lambda-usergroup@dcs.ed.ac.uk ??? larc-swe@larc.nasa.gov ??? lego-club@dcs.ed.ac.uk ??? lfcs-interest@dcs.ed.ac.uk ??? lics-email@cs.indiana.edu yes lics-request@logik.mathematik.uni-freiburg.de (must format announcement, http://logik.mathematik.uni-freiburg.de/lics/) BAD lics@research.bell-labs.com ??? linear@cs.stanford.edu BAD logic@cs.cornell.edu (DEAD ADDRESS???) ??? logic-list@cs.rice.edu ??? logic-ml@logic.jaist.ac.jp NO logic@theory.lcs.mit.edu (DEAD ADDRESS) ??? lotos-na@site.uottawa.ca ??? lotos-world@sanson.dit.upm.es (Language Of Temporal Ordering Specification, http://yeti.dit.upm.es/~lotos/, DEAD?) ??? lpnmr@cs.engr.uky.edu (Logic Programming and Nonmonotonic Reasoning, http://www.cs.engr.uky.edu/~lpnmr/membership.html) NO lprolog@cis.upenn.edu (lambda Prolog, http://www.cse.psu.edu/~dale/lProlog/) ??? mercury-users@cs.mu.oz.au (Mercury language, http://www.cs.mu.oz.au/research/mercury/mailing-lists/mailing-lists.html) ??? mfpsmail@math.tulane.edu ??? mizar-forum@mizar.uwb.edu.pl ??? mlnet@csd.abdn.ac.uk (Machine Learning, Knowledge Acquisition & Refinement, http://www.csd.abdn.ac.uk/~pedwards/MLNet/, public mailing list?) ??? mlnet@swi.psy.uva.nl ??? mop@cs.ruu.nl ??? mpc2000pc@di.uminho.pt ??? nl-kr@cs.rpi.edu (Knowledge Representation and Natural Language, http://www.cs.rpi.edu/pub/nl-kr/) ??? nqthm-users@cli.com (Boyer-Moore Theorem Prover, http://www.cli.com/software/nqthm/, mailing list dead?) ??? nuprllist@cs.cornell.edu ??? nuprlnotes@cs.cornell.edu ??? om-announce@lars.math.fsu.edu ??? papm@dcs.ed.ac.uk (Process Algebra and Performance Modelling, http://www.dcs.ed.ac.uk/home/jeh/PAPM.html) ??? petrinets@daimi.aau.dk yes pl-seminar@ccs.neu.edu ??? procos-list@comlab.ox.ac.uk (PROvably COrrect Systems, http://archive.comlab.ox.ac.uk/procos/) ??? prog-logique@irisa.fr ??? prologia@prologianet.univ-mrs.fr ??? prolog@mch.sni.de ??? prolog-pe@bach.ces.cwru.edu ??? prolog-vendors@sics.se ??? pvs@csl.sri.com ??? qed@mcs.anl.gov ??? quintus-users@quintus.com ??? reliable_computing@interval.usl.edu ??? relmics-list@heraklit.informatik.unibw-muenchen.de ??? rewrite@sbcs.sunysb.edu ??? rewriting@csdec1.tuwien.ac.at YES rewriting@ens-lyon.fr (Rewriting, http://www.ens-lyon.fr/~plescann/CONTRIBUTIONS/, http://www.loria.fr/~vigneron/RewritingHP/) ??? rewriting@fmi.uni-passau.de ??? rewriting@informatik.uni-ulm.de ??? rewriting@lifia.imag.fr ??? rewritinglist@dfki.uni-sb.de BAD rewriting@loria.fr (DEAD ADDRESS???) ??? rewriting@ls5.informatik.uni-dortmund.de ??? rewriting@univ-orleans.fr ??? seworld@cs.colorado.edu (Software Engineering, http://www.cs.colorado.edu/serl/seworld/) ??? sgaico@cui.unige.ch ??? sicstus-users@sics.se ??? sisal-info@sisal.llnl.gov ??? skeletons@dcs.ed.ac.uk (Skeletal Parallelism, http://www.dcs.ed.ac.uk/home/mic/skeletons.html) ??? softverf@jaguar.cs.byu.edu ??? softverf@nist.gov ??? softverf@xsun.sdct.itl.nist.gov ??? sonoteno@sfc.keio.ac.jp ??? stochver@cs.bham.ac.uk ??? system-safety@listserv.gsfc.nasa.gov ??? tfm-list@doc.ic.ac.uk ??? theorem-provers@ai.mit.edu ??? theorem-provers@mc.lcs.mit.edu ??? theory-a@vm1.nodak.edu YES theorynt@listserv.nodak.edu (Theory Net, http://listserv.nodak.edu/archives/theorynt.html) ??? tutti@dimi.uniud.it YES types@cis.upenn.edu ??? unification@sics.se ??? users@mozart-oz.org ??? vdm-forum@mailbase.ac.uk ??? vj@research.att.com ??? x3j17@ai.sri.com ??? zeves@ora.on.ca ??? zforum@prg.ox.ac.uk ---------------------------------------------------------------------- post+comp.lang.functional@andrew.cmu.edu post+comp.lang.ml@andrew.cmu.edu post+comp.lang.haskell@andrew.cmu.edu post+comp.lang.scheme@andrew.cmu.edu post+comp.compilers@andrew.cmu.edu ---------------------------------------------------------------------- types@cis.upenn.edu acl2@cs.utexas.edu amast@cs.utwente.nl b-talk@tees.ac.uk bra-types@cs.chalmers.se concurrency@cwi.nl coq-club@pauillac.inria.fr eacsl@dimi.uniud.it eatcs-it@cs.unibo.it elf-list@cs.cmu.edu facs-mem@lboro.ac.uk facs@lboro.ac.uk formal-methods@cs.uidaho.edu fsdm@cs.uq.oz.au hise-safety-critical@minster.cs.york.ac.uk imps@linus.mitre.org info-hol@jaguar.cs.byu.edu isabelle-users@cl.cam.ac.uk lambda-usergroup@dcs.ed.ac.uk lego-club@dcs.ed.ac.uk lfcs-interest@dcs.ed.ac.uk lics@research.bell-labs.com logic@theory.lcs.mit.edu lprolog-list@cis.upenn.edu nuprlnotes@www.cs.cornell.edu petrinets@daimi.aau.dk pvs@csl.sri.com qed@mcs.anl.gov reliable_computing@interval.usl.edu system-safety@listserv.gsfc.nasa.gov theorem-provers@ai.mit.edu theorynt@LISTSERV.NODAK.EDU vdm-forum@mailbase.ac.uk zcommittee@comlab.ox.ac.uk zeves@ora.on.ca zforum@comlab.ox.ac.uk ---------------------------------------------------------------------- concurrency@cwi.nl, formal-methods@cs.uidaho.edu, theorem-provers@ai.mit.edu, types@cis.upenn.edu, bra-types@cs.chalmers.se pop-group@cs.cmu.edu ---------------------------------------------------------------------- eapls@mailbase.ac.uk, seworld@cs.colorado.edu, amast@cs.utwente.nl, ipalist@win.tue.nl, lics@research.bell-labs.com, haskell@haskell.org, categories@mta.ca, relmics-list@heraklit.Informatik.UniBW-Muenchen.de, eacsl@dimi.uniud.it, skeletons@dcs.ed.ac.uk, types@cis.upenn.edu ---------------------------------------------------------------------- To: acl2@cs.utexas.edu, agents@cs.umbc.edu, amast@cs.utwente.nl, asci@twi.tudelft.nl, bra-types@cs.chalmers.se, categories@mta.ca, ccl@dfki.uni-sb.de, clp@iscs.nus.edu.sg, cofi-list@brics.dk, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dataloger@cs.chalmers.se, eacsl@dimi.uniud.it, eatcs-it@cs.unibo.it, ecoop-info@ecoop.org, facs@lboro.ac.uk, eapls@jiscmail.ac.uk, behavior@cs.ucsd.edu, formal-methods@cs.uidaho.edu, fsdm@it.uq.edu.au, hise-safety-critical@minster.cs.york.ac.uk, ifmsig@cs.tcd.ie, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, jml@cs.iastate.edu, lambda-usergroup@dcs.ed.ac.uk, lfcs-interest@dcs.ed.ac.uk, softverf@nist.gov, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-ml@logic.jaist.ac.jp, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lotos-world@sanson.dit.upm.es, nqthm-users@cli.com, nuprllist@cs.cornell.edu, nvti-list@cwi.nl, om-announce@lars.math.fsu.edu, papm@dcs.ed.ac.uk, PetriNets@daimi.aau.dk, prog-lang@daimi.aau.dk, prog-lang@diku.dk, pvs@csl.sri.com, qed@mcs.anl.gov, reliable_computing@interval.usl.edu, rewriting@ens-lyon.fr, seworld@cs.colorado.edu, stochver@cs.bham.ac.uk, system-safety@listserv.gsfc.nasa.gov, theorem-provers@ai.mit.edu, theory-a@vm1.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, vdm-forum@mailbase.ac.uk, zeves@ora.on.ca, zforum@prg.ox.ac.uk To: concurrency@cwi.nl, eapls@jiscmail.ac.uk, PetriNets@daimi.au.dk, types@cis.upenn.edu, theorynt@listserv.nodak.edu, eatcs-it@cs.unibo.it, eacsl@dimi.uniud.it, logic@CS.Cornell.EDU, logic@theory.lcs.mit.edu, amast@cs.utwente.nl, tfm-list@doc.ic.ac.uk To: types@cis.upenn.edu, categories@mta.ca, u.berger@swan.ac.uk, samson@dcs.ed.ac.uk, Andrew.Pitts@cl.cam.ac.uk, M.Hyland@dpmms.cam.ac.uk, Luke.Ong@comlab.ox.ac.uk, jvoosten@math.uu.nl, reus@informatik.uni-muenchen.de, awodey@cmu.edu, dana.scott@cs.cmu.edu, jrl@dcs.ed.ac.uk, Sergei Artemov , Crolard Tristan , streicher@mathematik.tu-darmstadt.de, rosolini@disi.unige.it, birkedal@cs.cmu.edu To: appsem@cs.chalmers.se, haskell@haskell.org, types@cis.upenn.edu To: types@cis.upenn.edu, eatcs-it@cs.unibo.it, aila@athena.disi.unige.it To: categories@mta.ca, concurrency@cwi.nl, types@cis.upenn.edu, eacsl@dimi.uniud.it, logic@cs.cornell.edu, lics@research.bell-labs.com To: cyber-security@stevens-tech.edu, bra-types@cs.chalmers.se, clean-list@cs.kun.nl, ipa-list@win.tue.nl, nvti-list@cwi.nl, caml-list@inria.fr, haskell@dcs.glasgow.ac.uk, generic-haskell@cs.uu.nl, plt-scheme@fast.cs.utah.edu, scheme@mc.lcs.mit.edu, scheme48@martigny.ai.mit.edu, icfp@dcs.gla.ac.uk, eapls@mailbase.ac.uk, concurrency@cwi.nl, glasgow-fp@dcs.gla.ac.uk, haskell@haskell.org, lics@research.att.com, appsem@cs.chalmers.se, logic@cs.cornell.edu, multi@cs.chalmers.se, prog-lang@diku.dk, theorem-provers@ai.mit.edu, smid-medl@imv.au.dk, harning@sigchi.dk, stimdi-rek-subscribe@yahoogroups.com, bcs-hci-request@mailbase.ac.uk, chi-Jobs@acm.org, lics-request@sun1.matematik.uni-freiburg.de, types@cis.upenn.edu, categories@mta.ca, moca@sophia.inria.fr, pop-group@cs.cmu.edu, DMANET@zpr.uni-koeln.de, appsem-ed-site@dcs.ed.ac.uk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, appsem@dcs.qmw.ac.uk, appsem@pauillac.inria.fr, appsem@disi.unige.it, proglog@cs.chalmers.se, appsem-local@di.uminho.pt, appsem-discussion@harlequin.co.uk, focs@comlab.ox.ac.uk, daimi-employees@brics.dk, theory@brics.dk, prog-lang@brics.dk, isabelle-users@cl.cam.ac.uk, hvg@cl.cam.ac.uk, pvs@csl.sri.com, logic@theory.lcs.mit.edu, lfcs-interest@dcs.ed.ac.uk, henk@cs.kun.nl, coq-club@pauillac.inria.fr, eslai@cs.stevens-tech.edu grin@di.unipi.it,