Mechanized Reasoning -- Mailing Lists

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