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 · colloquia · 
 

Colloquia - 2011-2012

 
 
8/5/2011
11:00am-12:00pm
ECCR 150
ICALShimon Schocken (IDC Herzliya, Israel)
From NAND to Tetris in 12 Steps
 
9/1/2011
3:30pm-4:30pm
ECCR 265
ICALJames H. Martin (Chair, Department of Computer Science)
Kenneth M. Anderson (Associate Chair, Department of Computer Science)
All-Hands Department Welcome and Ice Cream Social
 
9/8/2011
3:30pm-4:30pm
ECCR 265
ICALElizabeth Churchill (Yahoo! Research)
Hunches, Heuristics and Data (or, the Art and Science of Principled Design)
 
9/15/2011
3:30pm-4:30pm
ECCR 265
ICALScott McCrickard (Virginia Tech)
Making Claims in Interaction Design: Following Knowledge Trails Toward Informed Solutions
 
9/22/2011
3:30pm-4:30pm
ECCR 265
ICALKen Sugawara (Tohoku Gakuin University, Japan)
Collective Motion of Self-Propelled Elements with Simple Dynamics
 
9/29/2011
3:30pm-4:30pm
ECCR 265
ICALEmmanuel Schanzer (Harvard University)
Bootstrap: Functional Programming as a Vehicle for Algebra
 
10/6/2011
3:30pm-4:30pm
ECCR 265
ICALDirk C. 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
ICALEnid Montague (University of Wisconsin-Madison)
Trust in Sociotechnical Health Care Systems
 
10/20/2011
3:30pm-4:30pm
ECCR 265
ICALLeysia A. 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
ICALTadayoshi Kohno (University of Washington)
Experimental Security Analysis of a Modern Automobile
 
11/3/2011
3:30pm-4:30pm
ECCR 265
ICALJevin D. West (University of Washington)
Document Discovery: Advancing Research with Large Knowledge Networks
 
11/10/2011
3:30pm-4:30pm
ECCR 265
ICALEric W. 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
ICALEliana Colunga (Department of Psychology)
Using Networks to Understand Word Learning in Early and Late Talkers
 
1/19/2012
3:30pm-4:30pm
ECCR 265
ICALMiguel Jimeno (Universidad del Norte, Colombia)
Challenges of Telemedicine in Developing Countries, Issues and Potential Solutions
 
1/26/2012
3:30pm-4:30pm
ECCR 265
ICALMac Schwager (Boston University)
Active Estimation for Multi-Robot Teams in Hazardous Environments
 
2/7/2012
3:30pm-4:30pm
DLC 170
ICALDavid W. McDonald (University of Washington)
Social Computational Systems: A Research Agenda for HCC
 
2/16/2012
3:30pm-4:30pm
ECCR 265
ICALJeffrey S. Chase (Duke University)
GENI from First "Principals"
 
2/20/2012
11:00am-12:00pm
DLC 170
ICALChristopher A. Le Dantec (Georgia Tech)
Community Computing: Building Socio-Technical Infrastructures of Participation
 
2/22/2012
11:00am-12:00pm
DLC 170
ICALTom Yeh (University of Maryland)
Making Computer Vision Accessible for GUI Testing and Automation
 
3/1/2012
3:30pm-4:30pm
ECEE 1B28
ICALSantosh Nagarakatte (University of Pennsylvania)
Secure Low-Level Programming with Compiler/Hardware Assisted Memory Safety
 
3/1/2012
3:30pm-4:30pm
ECCR 265
ICALKate Starbird (University of Colorado Boulder)
Crowd Computation: Social Computing and Mass Disruption Events
 
3/6/2012
3:30pm-4:30pm
ECCR 265
ICALPaolo Zuliani (Carnegie Mellon University)
Verification of Stochastic Systems by Statistical Model Checking
 
3/13/2012
3:30pm-4:30pm
ECCR 265
ICALAllen 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
ICALJ. 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
ICALEric R. Keller (University of Pennsylvania)
Secure Virtualization for Dependable Cloud Services
 
4/3/2012
12:00pm-1:00pm
DLC 1B70
ICALDing Yuan (University of Illinois, Urbana-Champaign)
Diagnosing Production Failures with Better Logging Support
 
4/5/2012
3:30pm-4:30pm
ECCR 265
ICALPavol Cerny (IST Austria)
From Boolean to Quantitative Synthesis
 
4/10/2012
3:00pm-4:00pm
ECCR 155
ICALTracy K. Camp (Colorado School of Mines)
Computing Innovations and SmartGeo
 
4/12/2012
3:30pm-4:30pm
ECCR 265
ICALVictor M. Preciado (University of Pennsylvania)
Spectral Analysis, Modeling, and Control of Complex Dynamic Networks
 
4/13/2012
11:00am-12:00pm
DLC 1B70
ICALChung-Kil Hur (Max Planck Institute for Software Systems)
Compositional Inter-Language Relational Verification
 
4/18/2012
10:30am-11:30am
DLC 170
ICALSean A. Munson (University of Michigan)
Preferences & Nudges in Sociotechnical Systems
 
4/19/2012
3:30pm-4:30pm
ECCR 265
ICALJan Van Sickle (Pennsylvania State University)
Why Moore and Metcalf Make a Comprehensive Geospatial Curriculum Inevitable
 
4/26/2012
3:30pm-4:30pm
ECCR 265
ICALAndrew McCallum (University of Massachusetts, Amherst)
Joint Inference and Probabilistic Databases for Large-Scale Knowledge-Base Construction

The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

 
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:29)
 
.