home · mobile · calendar · 

Events - July 1997

  <  1997  >  
  <  July  >  

Jul
3
Thu
 
Term A ends

Jul
4
Fri
 
Independence Day

Jul
8
Tue
 
Term B begins

Jul
10
Thu
1:00pm-3:00pm
Thesis Defense: Automatic Abstraction Techniques for Formal Verification of Digital Systems
Abelardo S. Pardo (Computer Science PhD Candidate)

Jul
25
Fri
 
Term C ends
 
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