Old Fellows Database
Add URL Add URL  Custom Programming  My Sites My Sites  Custom Programming  My Account My Account  Custom Programming  Contact Us Contact Us


Yurtseven.org       

Search only in Forums and Networks   Search the Web
 Home » Computer Science » Theoretical » Forums and Networks



 Web Pages    1 - 5   {5}


 1 - 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		  
[more pages from this URL]   

 2 - Computability and Complexity in Analysis Network
  CCA Net aims to provide a central location for collecting information useful for researchers.
http://www.informatik.fernuni-hagen.de/import/cca/		  
[more pages from this URL]   

 3 - CAC-NET/FoCM-NET
  Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics.
http://www.cs.columbia.edu/cacnet/		  
[more pages from this URL]   

 4 - Average-Case Complexity Forum
  Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
http://www.uncg.edu/mat/acc-forum/		  
[more pages from this URL]   

 5 - Information-Based Complexity
  Resources for computational complexity problems in the presence of partial or contaminated information.
http://www.cs.columbia.edu/~agw/ibc/		  
[more pages from this URL]   


E-Mail Add URL