Logic Mailing Lists

OK, I am sure there are many more logic-related mailing lists than those, but here are the ones I know about,  right now.

• Logic List
• LOGICA-L: Brazilian Logic List (in Portuguese)
• FOM. An automated e-mail list for discussing foundations of mathematics
• Proof Theory Mailing List
• Types: a mailing list for people interested in Type Theory, its implementation, theory and applications
• LICS electronic newsletter
• • Logic list at University of Bonn (UniBonn)
• • GAMES
  •  ProofTheory Mailing List 
  •  Categories Mailing List 
  • "concurrency@listserver.tue.nl" <concurrency@listserver.tue.nl>
  •  "finite-model-theory@lists.rwth-aachen.de" <finite-model-theory@lists.rwth-aachen.de>
  •  appsem@lists.tcs.ifi.lmu.de" <appsem@lists.tcs.ifi.lmu.de>
  •  "las-lics@lists.tu-berlin.de" <las-lics@lists.tu-berlin.de>
  •  "linear@cs.stanford.edu" <linear@cs.stanford.edu>
  • "lfcs-interest@inf.ed.ac.uk" <lfcs-interest@inf.ed.ac.uk>
  • "prog-lang@diku.dk" <prog-lang@diku.dk>
  • "theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>
  •  "theory-logic@cs.cmu.edu" <theory-logic@cs.cmu.edu>
  • "agda@lists.chalmers.se" <agda@lists.chalmers.se>
  • "dbworld@cs.wisc.edu" <dbworld@cs.wisc.edu>
  • "asl@vassar.edu" <asl@vassar.edu> 
  • "cade@itu.dk" <cade@itu.dk>