University of Utah

• International Workshop on Implicit Computation Complexity
• Centennial Seminar on Kolmogorov Complexity and Applications
• SAT 2004
• SAT'96
• Computational Intractability
• Faster Exact Solutions for NP-Hard Problems
• CCC 2004
• CCC 2003
• B.C. Boinc
• Spot_E.T. BOINC Projects
• Team Discovery
• KWSN Orbiting Fortress