Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Computers:   Computer Science:   Theoretical:   Forums and Networks

Sites:

The Types Forum  - http://lists.seas.upenn.edu/mailman/listinfo/types-list  E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.  Information-Based Complexity  - http://www.cs.columbia.edu/~agw/ibc/  Resources for computational complexity problems in the presence of partial or contaminated information.  Computability and Complexity in Analysis Network  - http://www.informatik.fernuni-hagen.de/import/cca/  CCA Net aims to provide a central location for collecting information useful for researchers.  Average-Case Complexity Forum  - http://www.uncg.edu/mat/acc-forum/  Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.  CAC-NET/FoCM-NET  - http://www.cs.columbia.edu/cacnet/  Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics.