Mechanized Reasoning -- Mailing Lists

This page is still under construction, so it is by no means complete. For a better service to the mechanized reasoning community we need your help, so please contribute!. Send any links, suggestions, encouragement, or donations by clicking here.

The following mailing lists discuss topics that are relevant for the field of deduction systems.

The QED Project consists in the idea of uniting all the deduction efforts spread worldwide under a common Vision. This vision is discussed in the QED mailing list. At the moment it mainly consists in the idea to create an encyclopedic database of formally verified mathematical theorems and theories. Send a mail with a single line: subscribe qed to majordomo@mcs.anl.gov to subscribe and use qed@mcs.anl.gov for submitting messages. Previous contributions are available here

The rewriting list is concerned with term rewriting and unification theory. For contributions mail to rewriting@loria.fr, for requests (subscribing and unsubscribing) rewriting-request@loria.fr. Previous contributions are available here

theorem-provers@ai.mit.edu Theorem provers list

The TPHOLS mailing list is a moderated mailing list for announcements related the the TPHOLs Conference. It consists of other mailing lists with subscribers who are predominantly interested in theorem proving in a higher-order logic. You can post a TPHOLs related message be sending it to tphols-announce@lal.cs.byu.edu.
The UITP mailing list provides a forum for discussion and announcements on User Interfaces for Theorem Provers. For contributions mail to uitp@dcs.gla.ac.uk, for requests (subscribing and unsubscribing) uitp-request@dcs.gla.ac.uk.

Isabelle: Mail to isabelle-users@cl.cam.ac.uk to submit and to isabelle-users-request@cl.cam.ac.uk for subscription requests.

coq@margaux.inria.fr

spin_list@research.att.com is a mailing list for SPIN users (users may subscribe by sending the oneliner `subscribe to newsletter' to that address)

elf-list@cs.cmu.edu

info-hol@lal.cs.byu.edu

imps@linus.mitre.org

nqthm-users@cs.utexas.edu

objforum@prg.oxford.ac.uk

fsdm-real@cs.uq.oz.au

formal-methods@cs.uidaho.edu -- a mailing list that concentrates mainly on teaching formal methods/mechanical theorem proving.

types@dcs.gla.ac.uk

Last Updated 27 January 1997.