home · mobile · calendar · defenses · 

Thesis Defenses - 2001-2002

  <  2001-2002  >  
 
8/3/2001
1:00pm-3:00pm
ECOT 831
Roderick Bloem (Computer Science PhD Candidate)
Search Techniques and Automata for Symbolic Model Checking
 
11/19/2001
9:00am-11:00am
ECOT 831
Patrick Schone (Computer Science PhD Candidate)
Toward Knowledge-Free Induction of Machine-Readable Dictionaries
 
12/18/2001
9:00am-11:00am
ECOT 831
Robert Cooksey (Computer Science PhD Candidate)
Content Sensitive Data Prefetching
 
1/10/2002
2:00pm-4:00pm
ECOT 831
Stephen Wehrend (Computer Science PhD Candidate)
Design Process for Application-Specific Languages: A Language for Water Resource Policy Specification
 
4/12/2002
10:00am-12:00pm
ECOT 831
Eric Scharff (Computer Science PhD Candidate)
Open Source: A Conceptual Framework for Collaborative Artifact and Knowledge Construction
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:20)
XHTML 1.0/CSS2
©2012