home · mobile · calendar · bactac · 

BACTAC - 2003-2004

  <  2003-2004  >  
 
9/2/2003
3:30pm-4:30pm
ECOT 831
Susanne Sherba (Graduate Student)
A Framework for Pervasive Traceability
 
9/9/2003
3:30pm-4:30pm
ECOT 831
Brian Shucker (Graduate Student)
Jeffrey Rose (Graduate Student)
Hector Abrach (Undergraduate Student)
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors
 
9/30/2003
3:30pm-4:30pm
ECOT 831
Social Committee (Department of Computer Science)
Winter Sport Forum
 
10/14/2003
3:30pm-4:30pm
ECOT 831
Charles (Brad) Morrey III (Graduate Student, Department of Computer Science)
Summer Internship Experience at Intel
 
10/21/2003
3:30pm-4:30pm
ECOT 831
Jing Deng (Graduate Student, Department of Computer Science)
Security Support for In-network Processing in Wireless Sensor Networks
 
12/4/2003
3:30pm-4:30pm
Eaton South
Elizabeth Bradley (Associate Professor and Chair, Department of Computer Science)
State of the Department
 
1/27/2004
3:30pm-4:30pm
ECOT 831
Fellow PhD Students (Department of Computer Science)
The Computer Science Department's Preliminary Exam Format
 
2/3/2004
3:30pm-4:30pm
ECOT 831
Martin Hirzel (Grad Student, Department of Computer Science)
Connectivity-Based Garbage Collection
 
2/10/2004
3:30pm-4:30pm
ECOT 831
Lynda McGinley (Director of CSOps)
Q & A on Departmental Computing Resources
 
2/24/2004
3:30pm-4:30pm
ECOT 831
Johannes Henkel (Grad Student, Department of Computer Science)
Discovering and Debugging Algebraic Specifications for Java Classes
 
3/9/2004
3:30pm-4:30pm
ECOT 831
Marco Gruteser (Graduate Student, Department of Computer Science)
Privacy for Location-Based Services Through Automatic Resolution Control
 
3/11/2004
3:30pm-4:30pm
ECOT 831
Paulo Barthelmess (Graduate Student, Department of Computer Science)
Stream-based Intelligent Applications
 
3/16/2004
3:30pm-4:30pm
ECOT 831
Shuxin Nie (Grad Student, Department of Computer Science)
Finding a Long Directed Cycle
 
3/30/2004
3:30pm-4:30pm
ECOT 831
Chao Wang (Grad Student, Department of Electrical and Computer Engineering)
Abstraction Refinement for Large Scale Model Checking
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:24)
XHTML 1.0/CSS2
©2012