Information-Based Complexity
- Resources for computational complexity problems in the presence of partial or contaminated information.
- http://www1.cs.columbia.edu/~agw/ibc/

CAC-NET/FoCM-NET
- Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics.
- http://www1.cs.columbia.edu/cacnet/

Average-Case Complexity Forum
- Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
- http://www.uncg.edu/mat/avg/

Computability and Complexity in Analysis Network
- CCA Net aims to provide a central location for collecting information useful for researchers.
- http://www.informatik.fernuni-hagen.de/import/cca/

The Types Forum
- E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
- http://lists.seas.upenn.edu/mailman/listinfo/types-list