• 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
• PlanetKR -- Planet KR provides a discussion forum for the Knowledge Representation and Reasoning community.
  • Send PlanetKR mailing list submissions to planetkr@kr.org. To subscribe or unsubscribe via the World Wide Web, visit http://discuss.it.uts.edu.au/mailman/listinfo/planetkr or, via email, send a message with subject or body 'help' to planetkr-request@kr.org. You can reach the person managing the list at planetkr-owner@kr.org.

• logic@math.uni-bonn.de, logica-l@dimap.ufrn.br, fom@cs.nyu.edu, ProofTheory@lists.bath.ac.uk, types@lists.chalmers.se, las-lics@lists.tu-berlin.de, planetkr@kr.org

Last updated: June 23rd, 2017.

Send new itens to adolfo AT utfpr.edu.br.

Inspired by this @ValeriaDePaiva's tweet.