home · mobile · calendar · 

Events - April 2012

  <  2012  >  
  <  April  >  

Apr
3
Tue
9:00am-3:00pm
12:00pm-1:00pm
Colloquium: Diagnosing Production Failures with Better Logging Support
Ding Yuan (University of Illinois, Urbana-Champaign)
6:00pm-8:00pm

Apr
5
Thu
3:30pm-4:30pm
Colloquium: From Boolean to Quantitative Synthesis
Pavol Cerny (IST Austria)

Apr
9
Mon
12:00pm-1:00pm

Apr
10
Tue
3:00pm-4:00pm
Colloquium: Computing Innovations and SmartGeo
Tracy K. Camp (Colorado School of Mines)

Apr
11
Wed
5:00pm-8:00pm

Apr
12
Thu
3:30pm-4:30pm
Colloquium: Spectral Analysis, Modeling, and Control of Complex Dynamic Networks
Victor M. Preciado (University of Pennsylvania)

Apr
13
Fri
9:00am-11:00am
Thesis Defense: Predictive Modeling of Metagenomes
Daniel B. Knights (Computer Science PhD Candidate)
11:00am-12:00pm
Colloquium: Compositional Inter-Language Relational Verification
Chung-Kil Hur (Max Planck Institute for Software Systems)

Apr
18
Wed
10:30am-11:30am
Colloquium: Preferences & Nudges in Sociotechnical Systems
Sean A. Munson (University of Michigan)

Apr
19
Thu
3:30pm-4:30pm
Colloquium: Why Moore and Metcalf Make a Comprehensive Geospatial Curriculum Inevitable
Jan Van Sickle (Pennsylvania State University)

Apr
23
Mon
12:00pm-1:00pm

Apr
26
Thu
3:30pm-4:30pm
Colloquium: Joint Inference and Probabilistic Databases for Large-Scale Knowledge-Base Construction
Andrew McCallum (University of Massachusetts, Amherst)

Apr
28
Sat
12:00pm-3:00pm
 
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