| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| list_of_logical_lists [2017/06/23 14:30] – adolfont | list_of_logical_lists [2020/11/19 11:42] (current) – external edit 127.0.0.1 |
|---|
| * [[https://lists.chalmers.se/mailman/listinfo/types| Types: a mailing list for people interested in Type Theory, its implementation, theory and applications]] | * [[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://lics.rwth-aachen.de/newsletters/|LICS electronic newsletter]] |
| * [[http://www.lib.uni-bonn.de/Newsletter/subscribe.html| Logic list at University of Bonn (UniBonn)]] | |
| * [[http://discuss.it.uts.edu.au/mailman/listinfo/planetkr | PlanetKR -- Planet KR provides a discussion forum for the Knowledge Representation and Reasoning community]]. | * [[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. | * 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) ====== | ====== Emails for sending announcements (please use with care) ====== |
| |
| * planetkr@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|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. | Send new itens to adolfo AT utfpr.edu.br. |
| |
| Inspired by this [[https://twitter.com/valeriadepaiva/status/781801554860834816|@ValeriaDePaiva's tweet]]. | Inspired by this [[https://twitter.com/valeriadepaiva/status/781801554860834816|@ValeriaDePaiva's tweet]]. |
