University of Edinburgh - Category theory, domain theory, logic, type theory.

Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.

Pointers to papers and pages of general interest to the theory community, theory related software available on the net, upcoming conferences and other information of interest to theoretical computer scientists.

Theory and Formal Methods Group, Department of Computing, Imperial College, London

University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.

Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of computation; and information theory.

Theory of Computing Systems - Foundations of Computing. Statement of ScopeTOCS is devoted to publishing original research from all areas of theoretical computer science, ranging from foundational areas such as computational complexi...

Covers all areas of theoretical computer science and computational aspects of information theory.

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

The SPKI document gives the theory behind SPKI certificates and ACLs without going into technical detail about those structures or their uses.