Enter Domain Name:

Top / Computers / Computer_Science / Theoretical / Forums_and_Networks /

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
Upenn.edu  ~   Site Info   Whois   Trace Route   RBL Check  
Information-Based Complexity
Resources for computational complexity problems in the presence of partial or contaminated information.
http://www1.cs.columbia.edu/~agw/ibc/
Columbia.edu  ~   Site Info   Whois   Trace Route   RBL Check  
Average-Case Complexity Forum
Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
http://www.cs.uml.edu/~wang/acc-forum/
Uml.edu  ~   Site Info   Whois   Trace Route   RBL Check