List of Research Groups in Logic and Theoretical Computer Science World-wide

Mailinglists, Newsgroups, etc.

• PEPT: A Mailing-List for Partial Evaluation and Program Transformation
• Colibri Mailing List (Newsletter and WWW-site on language and speech technology and logic).
• Linear logic mailing list
• The types forum
• Newsletter of the Gödel Society
• LICS Newsletter
• FOM (Foundations of Mathematics lists moderated by Steve Simpson)
• REALFOM (Real Foundations of Mathematics list, by Robert I. Soare)
• Categories theory mailing list
• News.Announce.Conferences-Newsgroup
• xxx math archive (as well under Los Alamos; sends notices over new articles submitted to this preprint server; see as well the page of the former Logic Eprints which have been included)
• Logic Eprints (Mailing-List)
• Linear Logic (Mailing-List)
• The Types Forum (Mailing-LIst)
• Electronic Newsletter/News Journal on Reasoning about /actions and change (ENRAC)
• Electronic Transactions on Artificial Intelligence (ETAI)

• back to table of contents for Logic Servers Worldwide
• back to Theoretical Computer Science at Swansea
• back to Computer Science at Swansea

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/mailinglists.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science