Prof. Adolfo Neto (DAINF-UTFPR)

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== List of Logical Lists ======


  * [[https://www.illc.uva.nl/LogicList/|Logic List]]
  * [[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: June 23rd, 2017.

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

Inspired by this [[https://twitter.com/valeriadepaiva/status/781801554860834816|@ValeriaDePaiva's tweet]].