home · mobile · calendar · 

Events - August 2001

  <  2001  >  
  <  August  >  

Aug
3
Fri
1:00pm-3:00pm
Thesis Defense: Search Techniques and Automata for Symbolic Model Checking
Roderick P. Bloem (Computer Science PhD Candidate)
4:00pm-5:00pm
Colloquium: Coverage Metrics for Model Checking
Orna Kupferman (Hebrew University, Israel)

Aug
10
Fri
 
Terms B & D end

Aug
11
Sat
8:30am
(Norlin Quad)

Aug
23
Thu
5:30pm
(Norlin Quad)
Fall Convocation

Aug
27
Mon
 
Fall Semester begins

Aug
30
Thu
9:00am-10:00am
Donut Holes
3:00pm
(Kittredge Field)
7:00pm

Aug
31
Fri
12:00pm-12:50pm
Faculty Lunch
 
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:11)
XHTML 1.0/CSS2
©2012