Differences

This shows you the differences between two versions of the page.

--- list_of_logical_lists [2016/09/30 10:48] – adolfont
+++ list_of_logical_lists [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
   * [[https://groups.google.com/a/dimap.ufrn.br/forum/#!forum/logica-l|LOGICA-L: Brazilian Logic List (in Portuguese)]]
   * [[http://www.cs.nyu.edu/mailman/listinfo/fom|FOM. An automated e-mail list for discussing foundations of mathematics]]
+  * [[http://cs.bath.ac.uk/ag/pt/|Proof Theory Mailing List]]
+  * [[https://lists.chalmers.se/mailman/listinfo/types| Types:  a mailing list for people interested in Type Theory, its implementation, theory and applications]]
+  * [[http://lics.rwth-aachen.de/newsletters/|LICS electronic newsletter]]
+  * [[http://discuss.it.uts.edu.au/mailman/listinfo/planetkr | 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.
+====== Emails for sending announcements (please use with care) ======
+  * [[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|Click here to send emails to all lists above]]
-Last updated: Sep. 30th, 2016.
+Last updated: June 23rd, 2017.
 Send new itens to adolfo AT utfpr.edu.br.
 Inspired by this [[https://twitter.com/valeriadepaiva/status/781801554860834816|@ValeriaDePaiva's tweet]].