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 - 2001-2002

 
 
8/3/2001
4:00pm-5:00pm
ECOT 831
ICALOrna Kupferman (Hebrew University, Israel)
Coverage Metrics for Model Checking
 
9/6/2001
3:30pm-4:30pm
ECCR 265
ICALTorleif H. Mohling (System Administrator, CSOps)
UNIX Tutorial
 
9/20/2001
3:30pm-4:30pm
ECCR 265
ICALRichard Y. Han (Assistant Professor, Department of Computer Science)
Michael A. Eisenberg (Associate Professor, Department of Computer Science)
Richard H. Byrd (Associate Professor, Department of Computer Science)
Research Reports
 
9/27/2001
3:30pm-4:30pm
ECCR 265
ICALTamara R. 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
ICALKenneth M. 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
ICALWayne 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
ICALHoward J. (H. J.) Siegel (Colorado State University)
Heterogeneous Distributed Computing: Goals, Methods, and Open Problems
 
11/1/2001
3:30pm-4:30pm
ECCR 265
ICALSatinder P. 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
ICALBill 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
ICALBarbara G. Ryder (Rutgers University)
Data-flow Analysis of Program Fragments
 
11/15/2001
3:30pm-4:30pm
ECCR 265
ICALAlexander L. 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
ICALRoss M. 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
ICALJames A. 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
ICALChristopher R. 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
ICALTony Wasserman (Director, Mobile Middleware Lab, Hewlett-Packard Company)
Software Requirements for Mobile Applications
 
2/14/2002
3:30pm-4:30pm
ECCR 265
ICALHarvey J. Greenberg (Director, Center for Computational Biology, CU Denver)
Combinatorial Optimization Models in Molecular Biology
 
2/21/2002
3:30pm-4:30pm
ECCR 265
ICALGabriel Taubin (IBM Thomas J. Watson Research Center)
Signal Processing on Polygon Meshes and 3D Geometry Compression
 
2/25/2002
1:00pm-2:00pm
Clark
ICALJeffrey S. 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
ICALYongguang 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
ICALErin M. 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
ICALSatinder P. 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
ICALRavi 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
ICALJohn R. Black (Department of Computer Science, University of Nevada, Reno)
Highly-Optimized Provably-Secure Cryptography
 
4/1/2002
2:00pm-3:00pm
ECCR 200
ICALJosé F. 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
ICALJoã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
ICALSteve Zdancewic (Department of Computer Science, Cornell University)
Programming Languages for Information Security
 
4/16/2002
10:00am-11:00am
Clark
ICALStephanie Weirich (Department of Computer Science, Cornell University)
Programming with Types
 
4/18/2002
3:30pm-4:30pm
ECCR 265
ICALYuanyuan Zhou (Department of Computer Science, Princeton University)
Improving the Performance of Storage Servers
 
4/25/2002
3:30pm-4:30pm
ECCR 265
ICALLeysia A. 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
ICALHenry M. Tufo (Argonne National Laboratory/University of Chicago)
Terascale Spectral Element Algorithms and Implementations

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