CU CSCI Colloquia - 2001-2002


8/3/2001 4:00pm-5:00pm ECOT 831	ICAL	Orna Kupferman (Hebrew University, Israel) Coverage Metrics for Model Checking

9/6/2001 3:30pm-4:30pm ECCR 265	ICAL	Torleif H. Mohling (System Administrator, CSOps) UNIX Tutorial

9/20/2001 3:30pm-4:30pm ECCR 265	ICAL	Richard 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	ICAL	Tamara 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	ICAL	Kenneth 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	ICAL	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	ICAL	Howard J. (H. J.) Siegel (Colorado State University) Heterogeneous Distributed Computing: Goals, Methods, and Open Problems

11/1/2001 3:30pm-4:30pm ECCR 265	ICAL	Satinder 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	ICAL	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	ICAL	Barbara G. Ryder (Rutgers University) Data-flow Analysis of Program Fragments

11/15/2001 3:30pm-4:30pm ECCR 265	ICAL	Alexander 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	ICAL	Ross 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	ICAL	James 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	ICAL	Christopher 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	ICAL	Tony Wasserman (Director, Mobile Middleware Lab, Hewlett-Packard Company) Software Requirements for Mobile Applications

2/14/2002 3:30pm-4:30pm ECCR 265	ICAL	Harvey J. Greenberg (Director, Center for Computational Biology, CU Denver) Combinatorial Optimization Models in Molecular Biology

2/21/2002 3:30pm-4:30pm ECCR 265	ICAL	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	ICAL	Jeffrey 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	ICAL	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	ICAL	Erin 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	ICAL	Satinder 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	ICAL	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	ICAL	John R. Black (Department of Computer Science, University of Nevada, Reno) Highly-Optimized Provably-Secure Cryptography

4/1/2002 2:00pm-3:00pm ECCR 200	ICAL	José 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	ICAL	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	ICAL	Steve Zdancewic (Department of Computer Science, Cornell University) Programming Languages for Information Security

4/16/2002 10:00am-11:00am Clark	ICAL	Stephanie Weirich (Department of Computer Science, Cornell University) Programming with Types

4/18/2002 3:30pm-4:30pm ECCR 265	ICAL	Yuanyuan Zhou (Department of Computer Science, Princeton University) Improving the Performance of Storage Servers

4/25/2002 3:30pm-4:30pm ECCR 265	ICAL	Leysia 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	ICAL	Henry 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.