skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · calendar · 
 

Events - August 2001

 
July 2001
S M T W T F S
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        
September 2001
S M T W T F S
            1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30            
August 2001
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
29 July




30




31




1




2




3
Thesis Defense: Search Techniques and Automata for Symbolic Model Checking
Roderick P. Bloem
1:00pm-3:00pm
Colloquium: Coverage Metrics for Model Checking
Orna Kupferman
4:00pm-5:00pm
4




5




6




7




8




9




10
Terms B & D end




11
8:30am
(Norlin Quad)
12




13




14




15




16




17




18




19




20




21




22




23
Fall Convocation
5:30pm
(Norlin Quad)
24




25




26




27
Fall Semester begins




28




29




30
Donut Holes
9:00am-10:00am
3:00pm
(Kittredge Field)
7:00pm
31
Faculty Lunch
12:00pm-12:50pm
September
 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:28)
 
.