home · mobile · calendar · colloquia · 

Colloquia - 2001-2002

  <  2001-2002  >  
 
8/3/2001
4:00pm-5:00pm
ECOT 831
Orna Kupferman (Hebrew University, Israel)
Coverage Metrics for Model Checking
 
9/6/2001
3:30pm-4:30pm
ECCR 265
Torleif Mohling (System Administrator, CSOps)
UNIX Tutorial
 
9/20/2001
3:30pm-4:30pm
ECCR 265
Richard Han (Assistant Professor, Department of Computer Science)
Michael Eisenberg (Associate Professor, Department of Computer Science)
Richard Byrd (Associate Professor, Department of Computer Science)
Research Reports
 
9/27/2001
3:30pm-4:30pm
ECCR 265
Tamara Sumner (Assistant Professor, Department of Computer Science)
The Digital Library for Earth System Education: Building Community, Building the Library
 
10/11/2001
3:30pm-4:30pm
ECCR 265
Kenneth Anderson (Assistant Professor, Department of Computer Science)
Large-Scale Information Integration: Using Open Hypermedia to Support Software Development in the Real World
 
10/18/2001
3:30pm-4:30pm
ECCR 265
Wayne Maddison (Department of Ecology and Evolutionary Biology, University of Arizona)
Mesquite, a Programming System for Evolutionary Biology: Modularity, Idealism, and the Economy of Imagination in Scientific Computing
 
10/25/2001
3:30pm-4:30pm
ECCR 265
Howard (H. J.) Siegel (Colorado State University)
Heterogeneous Distributed Computing: Goals, Methods, and Open Problems
 
11/1/2001
3:30pm-4:30pm
ECCR 265
Satinder Singh (Syntek Capital)
Electronic Commerce, Auctions, and Computational Game Theory: Some Results that Exploit Computational and Representational Restrictions on the Behavior of Agents
 
11/8/2001
3:30pm-4:30pm
ECCR 265
Bill Byrne (Center for Language and Speech Processing, The Johns Hopkins University)
Minimum Bayes-risk Automatic Speech Recognition
 
11/14/2001
2:00pm-3:00pm
ECOT 831
Barbara Ryder (Rutgers University)
Data-flow Analysis of Program Fragments
 
11/15/2001
3:30pm-4:30pm
ECCR 265
Alexander Wolf (Associate Professor, Department of Computer Science)
Bend, Don't Break: Using Reconfiguration to Achieve Survivability
 
12/6/2001
3:30pm-4:30pm
ECCR 265
Ross McConnell (Department of Computer Science and Engineering, University of Colorado at Denver)
Recognition of Circular-Arc Graphs
 
1/17/2002
3:30pm-4:30pm
ECCR 265
James Landay (Electrical Engineering and Computer Science Department, University of California, Berkeley)
Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces
 
1/24/2002
3:30pm-4:30pm
ECCR 265
Christopher Johnson (Director, Scientific Computing and Imaging Institute, University of Utah)
Interactive Simulation and Visualization in Medicine: Applications to Cardiology, Neuroscience, and Medical Imaging
 
2/5/2002
3:30pm-4:30pm
ECOT 831
Tony Wasserman (Director, Mobile Middleware Lab, Hewlett-Packard Company)
Software Requirements for Mobile Applications
 
2/14/2002
3:30pm-4:30pm
ECCR 265
Harvey Greenberg (Director, Center for Computational Biology, CU Denver)
Combinatorial Optimization Models in Molecular Biology
 
2/21/2002
3:30pm-4:30pm
ECCR 265
Gabriel Taubin (IBM Thomas J. Watson Research Center)
Signal Processing on Polygon Meshes and 3D Geometry Compression
 
2/25/2002
1:00pm-2:00pm
Clark
Jeffrey Foster (Department of Computer Science, University of California, Berkeley)
Type Qualifiers: Lightweight Specifications to Improve Software Quality
 
2/28/2002
3:30pm-4:30pm
ECCR 265
Yongguang Zhang (Department of Computer Sciences, University of Texas at Austin)
Building Robust Mobile Ad-Hoc Networks
 
3/11/2002
2:00pm-3:00pm
ECCR 200
Erin Bradner (Department of Information and Computer Science, University of California, Irvine)
Social Presence with Video and Application Sharing: Social Affordances of Computer-Mediated Communication Technologies
 
3/14/2002
3:30pm-4:30pm
ECCR 265
Satinder Singh (Syntek Capital)
Reinforcement Learning Formulations of the AI Problem: Have They Been Good for AI?
 
3/18/2002
2:00pm-3:00pm
ECCR 200
Ravi Rajwar (Computer Sciences Department, University of Wisconsin-Madison)
Lock-Free Execution of Lock-Based Multithreaded Programs
 
3/21/2002
3:30pm-4:30pm
ECCR 265
John Black (Department of Computer Science, University of Nevada, Reno)
Highly-Optimized Provably-Secure Cryptography
 
4/1/2002
2:00pm-3:00pm
ECCR 200
José Martínez (Department of Computer Science, University of Illinois at Urbana-Champaign)
Speculative Shared-Memory Architectures
 
4/4/2002
3:30pm-4:30pm
ECCR 265
João Cangussu (Department of Computer Sciences, Purdue University)
A State Variable Approach for Feedback Software Process Control
 
4/15/2002
2:00pm-3:00pm
ECCR 200
Steve Zdancewic (Department of Computer Science, Cornell University)
Programming Languages for Information Security
 
4/16/2002
10:00am-11:00am
Clark
Stephanie Weirich (Department of Computer Science, Cornell University)
Programming with Types
 
4/18/2002
3:30pm-4:30pm
ECCR 265
Yuanyuan Zhou (Department of Computer Science, Princeton University)
Improving the Performance of Storage Servers
 
4/25/2002
3:30pm-4:30pm
ECCR 265
Leysia Palen (Department of Computer Science, University of Colorado)
Everyday Technology: Sociotechnical Perspectives on Design, Deployment, Adoption and Use
 
4/29/2002
2:00pm-3:00pm
ECCR 200
Henry Tufo (Argonne National Laboratory/University of Chicago)
Terascale Spectral Element Algorithms and Implementations
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