CU CSCI Colloquia - 2011-2012


8/5/2011 11:00am-12:00pm ECCR 150	ICAL	Shimon Schocken (IDC Herzliya, Israel) From NAND to Tetris in 12 Steps

9/1/2011 3:30pm-4:30pm ECCR 265	ICAL	James 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	ICAL	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	ICAL	Scott McCrickard (Virginia Tech) Making Claims in Interaction Design: Following Knowledge Trails Toward Informed Solutions

9/22/2011 3:30pm-4:30pm ECCR 265	ICAL	Ken Sugawara (Tohoku Gakuin University, Japan) Collective Motion of Self-Propelled Elements with Simple Dynamics

9/29/2011 3:30pm-4:30pm ECCR 265	ICAL	Emmanuel Schanzer (Harvard University) Bootstrap: Functional Programming as a Vehicle for Algebra

10/6/2011 3:30pm-4:30pm ECCR 265	ICAL	Dirk 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	ICAL	Enid Montague (University of Wisconsin-Madison) Trust in Sociotechnical Health Care Systems

10/20/2011 3:30pm-4:30pm ECCR 265	ICAL	Leysia 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	ICAL	Tadayoshi Kohno (University of Washington) Experimental Security Analysis of a Modern Automobile

11/3/2011 3:30pm-4:30pm ECCR 265	ICAL	Jevin D. West (University of Washington) Document Discovery: Advancing Research with Large Knowledge Networks

11/10/2011 3:30pm-4:30pm ECCR 265	ICAL	Eric 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	ICAL	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	ICAL	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	ICAL	Mac Schwager (Boston University) Active Estimation for Multi-Robot Teams in Hazardous Environments

2/7/2012 3:30pm-4:30pm DLC 170	ICAL	David W. McDonald (University of Washington) Social Computational Systems: A Research Agenda for HCC

2/16/2012 3:30pm-4:30pm ECCR 265	ICAL	Jeffrey S. Chase (Duke University) GENI from First "Principals"

2/20/2012 11:00am-12:00pm DLC 170	ICAL	Christopher A. Le Dantec (Georgia Tech) Community Computing: Building Socio-Technical Infrastructures of Participation

2/22/2012 11:00am-12:00pm DLC 170	ICAL	Tom Yeh (University of Maryland) Making Computer Vision Accessible for GUI Testing and Automation

3/1/2012 3:30pm-4:30pm ECEE 1B28	ICAL	Santosh Nagarakatte (University of Pennsylvania) Secure Low-Level Programming with Compiler/Hardware Assisted Memory Safety

3/1/2012 3:30pm-4:30pm ECCR 265	ICAL	Kate Starbird (University of Colorado Boulder) Crowd Computation: Social Computing and Mass Disruption Events

3/6/2012 3:30pm-4:30pm ECCR 265	ICAL	Paolo Zuliani (Carnegie Mellon University) Verification of Stochastic Systems by Statistical Model Checking

3/13/2012 3:30pm-4:30pm ECCR 265	ICAL	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	ICAL	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	ICAL	Eric R. Keller (University of Pennsylvania) Secure Virtualization for Dependable Cloud Services

4/3/2012 12:00pm-1:00pm DLC 1B70	ICAL	Ding Yuan (University of Illinois, Urbana-Champaign) Diagnosing Production Failures with Better Logging Support

4/5/2012 3:30pm-4:30pm ECCR 265	ICAL	Pavol Cerny (IST Austria) From Boolean to Quantitative Synthesis

4/10/2012 3:00pm-4:00pm ECCR 155	ICAL	Tracy K. Camp (Colorado School of Mines) Computing Innovations and SmartGeo

4/12/2012 3:30pm-4:30pm ECCR 265	ICAL	Victor M. Preciado (University of Pennsylvania) Spectral Analysis, Modeling, and Control of Complex Dynamic Networks

4/13/2012 11:00am-12:00pm DLC 1B70	ICAL	Chung-Kil Hur (Max Planck Institute for Software Systems) Compositional Inter-Language Relational Verification

4/18/2012 10:30am-11:30am DLC 170	ICAL	Sean A. Munson (University of Michigan) Preferences & Nudges in Sociotechnical Systems

4/19/2012 3:30pm-4:30pm ECCR 265	ICAL	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	ICAL	Andrew 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.