Women in Logic

Thursday, December 1, 2016

Logic Mailing Lists




OK, I am sure there are many more logic-related mailing lists than those, but here are the ones I know about,  right now.

  • 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
    • Logic list at University of Bonn (UniBonn)
    • GAMES
    •  ProofTheory Mailing List 
    •  Categories Mailing List 
    • "concurrency@listserver.tue.nl" <concurrency@listserver.tue.nl>
    •  "finite-model-theory@lists.rwth-aachen.de" <finite-model-theory@lists.rwth-aachen.de>
    •  appsem@lists.tcs.ifi.lmu.de" <appsem@lists.tcs.ifi.lmu.de>
    •  "las-lics@lists.tu-berlin.de" <las-lics@lists.tu-berlin.de>
    •  "linear@cs.stanford.edu" <linear@cs.stanford.edu>
    • "lfcs-interest@inf.ed.ac.uk" <lfcs-interest@inf.ed.ac.uk>
    • "prog-lang@diku.dk" <prog-lang@diku.dk>
    • "theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>
    •  "theory-logic@cs.cmu.edu" <theory-logic@cs.cmu.edu>
    • "agda@lists.chalmers.se" <agda@lists.chalmers.se>
    • "dbworld@cs.wisc.edu" <dbworld@cs.wisc.edu>
    • "asl@vassar.edu" <asl@vassar.edu> 
    • "cade@itu.dk" <cade@itu.dk> 


Posted by Valeria at 12:07 PM 1 comment:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Blog Archive

  • ►  2022 (7)
    • ►  October (1)
    • ►  March (2)
    • ►  January (4)
  • ►  2021 (7)
    • ►  July (1)
    • ►  March (1)
    • ►  February (3)
    • ►  January (2)
  • ►  2020 (4)
    • ►  June (1)
    • ►  April (2)
    • ►  February (1)
  • ►  2019 (3)
    • ►  August (1)
    • ►  June (1)
    • ►  May (1)
  • ►  2018 (2)
    • ►  November (1)
    • ►  June (1)
  • ►  2017 (7)
    • ►  August (1)
    • ►  June (2)
    • ►  March (2)
    • ►  February (1)
    • ►  January (1)
  • ▼  2016 (12)
    • ▼  December (1)
      • Logic Mailing Lists
    • ►  November (1)
    • ►  October (4)
    • ►  September (3)
    • ►  July (2)
    • ►  June (1)

BlogRoll

  • THE LOGIC SUPERGROUP
  • Matematica Substantivo Feminino
  • REDE BRASILEIRA DE MULHERES FILÓSOFAS
  • AAUW Blog
  • Feminist Philosophers
  • ACM's women in computing

Search This Blog

Picture Window theme. Powered by Blogger.