Online Forums and Networks discussing aspects of Theoretical Computer Science.
Sites 4
- The Types Forum E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
- Information-Based Complexity Resources for computational complexity problems in the presence of partial or contaminated information.
- Average-Case Complexity Forum Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
- Computability and Complexity in Analysis Network CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.