- Average-Case Complexity Forum - - Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
|
- CAC-NET/FoCM-NET - - Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics.
|
- The Types Forum - - E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
|
|