Differences

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

--- list_of_logical_lists [2016/09/30 19:38] – adolfont
+++ list_of_logical_lists [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 8: / Line 8: @@
   * [[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://www.lib.uni-bonn.de/Newsletter/subscribe.html| Logic list Uni Bonn]]
+  * [[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: June 23rd, 2017.
-Last updated: Sep. 30th, 2016.
 Send new itens to adolfo AT utfpr.edu.br.
 Inspired by this [[https://twitter.com/valeriadepaiva/status/781801554860834816|@ValeriaDePaiva's tweet]].