home · mobile · calendar · colloquia · 

Colloquia - 2011-2012

  <  2011-2012  >  
 
8/5/2011
11:00am-12:00pm
ECCR 150
Shimon Schocken (IDC Herzliya, Israel)
From NAND to Tetris in 12 Steps
 
9/1/2011
3:30pm-4:30pm
ECCR 265
James Martin (Chair, Department of Computer Science)
Kenneth Anderson (Associate Chair, Department of Computer Science)
All-Hands Department Welcome and Ice Cream Social
 
9/8/2011
3:30pm-4:30pm
ECCR 265
Elizabeth Churchill (Yahoo! Research)
Hunches, Heuristics and Data (or, the Art and Science of Principled Design)
 
9/15/2011
3:30pm-4:30pm
ECCR 265
Scott McCrickard (Virginia Tech)
Making Claims in Interaction Design: Following Knowledge Trails Toward Informed Solutions
 
9/22/2011
3:30pm-4:30pm
ECCR 265
Ken Sugawara (Tohoku Gakuin University, Japan)
Collective Motion of Self-Propelled Elements with Simple Dynamics
 
9/29/2011
3:30pm-4:30pm
ECCR 265
Emmanuel Schanzer (Harvard University)
Bootstrap: Functional Programming as a Vehicle for Algebra
 
10/6/2011
3:30pm-4:30pm
ECCR 265
Dirk Grunwald (Department of Computer Science)
Computing Research and Education in the Proposed ICMT: A Faculty Discussion
 
10/13/2011
3:30pm-4:30pm
ECCR 265
Enid Montague (University of Wisconsin-Madison)
Trust in Sociotechnical Health Care Systems
 
10/20/2011
3:30pm-4:30pm
ECCR 265
Leysia Palen (Department of Computer Science)
When Computer-Mediated Communication Goes Critical: Social Media, Emergency Response and the Crisis Informatics Perspective
 
10/27/2011
3:30pm-4:30pm
ECCR 265
Tadayoshi Kohno (University of Washington)
Experimental Security Analysis of a Modern Automobile
 
11/3/2011
3:30pm-4:30pm
ECCR 265
Jevin West (University of Washington)
Document Discovery: Advancing Research with Large Knowledge Networks
 
11/10/2011
3:30pm-4:30pm
ECCR 265
Eric Frew (Research and Engineering Center for Unmanned Vehicles (RECUV))
Net-Centric Control of Unmanned Aircraft Systems for Communication and Sensing Applications
 
12/1/2011
3:30pm-4:30pm
ECCR 265
Eliana Colunga (Department of Psychology)
Using Networks to Understand Word Learning in Early and Late Talkers
 
1/19/2012
3:30pm-4:30pm
ECCR 265
Miguel Jimeno (Universidad del Norte, Colombia)
Challenges of Telemedicine in Developing Countries, Issues and Potential Solutions
 
1/26/2012
3:30pm-4:30pm
ECCR 265
Mac Schwager (Boston University)
Active Estimation for Multi-Robot Teams in Hazardous Environments
 
2/7/2012
3:30pm-4:30pm
DLC 170
David McDonald (University of Washington)
Social Computational Systems: A Research Agenda for HCC
 
2/16/2012
3:30pm-4:30pm
ECCR 265
Jeffrey Chase (Duke University)
GENI from First "Principals"
 
2/20/2012
11:00am-12:00pm
DLC 170
Christopher Le Dantec (Georgia Tech)
Community Computing: Building Socio-Technical Infrastructures of Participation
 
2/22/2012
11:00am-12:00pm
DLC 170
Tom Yeh (University of Maryland)
Making Computer Vision Accessible for GUI Testing and Automation
 
3/1/2012
3:30pm-4:30pm
ECEE 1B28
Santosh Nagarakatte (University of Pennsylvania)
Secure Low-Level Programming with Compiler/Hardware Assisted Memory Safety
 
3/1/2012
3:30pm-4:30pm
ECCR 265
Kate Starbird (University of Colorado Boulder)
Crowd Computation: Social Computing and Mass Disruption Events
 
3/6/2012
3:30pm-4:30pm
ECCR 265
Paolo Zuliani (Carnegie Mellon University)
Verification of Stochastic Systems by Statistical Model Checking
 
3/13/2012
3:30pm-4:30pm
ECCR 265
Allen Clement (Max Planck Institute for Software Systems)
Robust Replication (Or How I Learned to Stop Worrying and Love Failures)
 
3/15/2012
3:30pm-4:30pm
ECCR 265
J. Zico Kolter (MIT Computer Science and Artificial Intelligence Laboratory)
Learning, Inference, and Control for Sustainable Energy
 
3/22/2012
3:30pm-4:30pm
ECCR 265
Eric Keller (University of Pennsylvania)
Secure Virtualization for Dependable Cloud Services
 
4/3/2012
12:00pm-1:00pm
DLC 1B70
Ding Yuan (University of Illinois, Urbana-Champaign)
Diagnosing Production Failures with Better Logging Support
 
4/5/2012
3:30pm-4:30pm
ECCR 265
Pavol Cerny (IST Austria)
From Boolean to Quantitative Synthesis
 
4/10/2012
3:00pm-4:00pm
ECCR 155
Tracy Camp (Colorado School of Mines)
Computing Innovations and SmartGeo
 
4/12/2012
3:30pm-4:30pm
ECCR 265
Victor Preciado (University of Pennsylvania)
Spectral Analysis, Modeling, and Control of Complex Dynamic Networks
 
4/13/2012
11:00am-12:00pm
DLC 1B70
Chung-Kil Hur (Max Planck Institute for Software Systems)
Compositional Inter-Language Relational Verification
 
4/18/2012
10:30am-11:30am
DLC 170
Sean Munson (University of Michigan)
Preferences & Nudges in Sociotechnical Systems
 
4/19/2012
3:30pm-4:30pm
ECCR 265
Jan Van Sickle (Pennsylvania State University)
Why Moore and Metcalf Make a Comprehensive Geospatial Curriculum Inevitable
 
4/26/2012
3:30pm-4:30pm
ECCR 265
Andrew McCallum (University of Massachusetts, Amherst)
Joint Inference and Probabilistic Databases for Large-Scale Knowledge-Base Construction
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:13)
XHTML 1.0/CSS2
©2012