home · mobile · calendar · 

Events - March 2012

  <  2012  >  
  <  March  >  

Mar
1
Thu
3:30pm-4:30pm
Colloquium: Crowd Computation: Social Computing and Mass Disruption Events
Kate Starbird (University of Colorado Boulder)
3:30pm-4:30pm
Colloquium: Secure Low-Level Programming with Compiler/Hardware Assisted Memory Safety
Santosh Nagarakatte (University of Pennsylvania)

Mar
6
Tue
3:30pm-4:30pm
Colloquium: Verification of Stochastic Systems by Statistical Model Checking
Paolo Zuliani (Carnegie Mellon University)
6:00pm-8:00pm

Mar
12
Mon
12:00pm-1:00pm

Mar
13
Tue
3:30pm-4:30pm
Colloquium: Robust Replication (Or How I Learned to Stop Worrying and Love Failures)
Allen Clement (Max Planck Institute for Software Systems)

Mar
15
Thu
3:30pm-4:30pm
Colloquium: Learning, Inference, and Control for Sustainable Energy
J. Zico Kolter (MIT Computer Science and Artificial Intelligence Laboratory)

Mar
22
Thu
3:30pm-4:30pm
Colloquium: Secure Virtualization for Dependable Cloud Services
Eric R. Keller (University of Pennsylvania)

Mar
26
Mon
 
Spring Break

Mar
27
Tue
 
Spring Break

Mar
28
Wed
 
Spring Break

Mar
29
Thu
 
Spring Break

Mar
30
Fri
 
Spring Break
 
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