Home > Computers > Computer Science > Theoretical > Forums and Networks
Online Forums and Networks discussing aspects of Theoretical Computer Science.
http://www.cs.uml.edu/~wang/acc-forum/
Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
http://cca-net.de/
CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.
http://www1.cs.columbia.edu/~agw/ibc/
Resources for computational complexity problems in the presence of partial or contaminated information.
http://lists.seas.upenn.edu/mailman/listinfo/types-list
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
Home > Computers > Computer Science > Theoretical > Forums and Networks
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us