Theory and Semantics Group

Internal newsgroups
- ucam.cl.announce (Lab members are expected to read this daily)
- ucam.cl.isabelle
External Newsgroups and mailing lists
- comp.lang.functional newsgroup
- comp.lang.ml newsgroup
- Types mailing list
- Concurrency mailing list and an archive at Aachen
- Moca mailing list on models for mobility and concurrency
- Theory Net
Collections of calls for papers
- The DIKU TOPPS Conference archive
Organisations

Please email updates to mjp41 (Last updated: Tue Jun 26 17:23:46 BST 2007 )