• 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.

• planetkr@kr.org

Last updated: Sep. 30th, 2016.

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

Inspired by this @ValeriaDePaiva's tweet.