Skip Navigation

Public Talks

Choose Type

Unless otherwise specified, all talks will take place in 220 Deschutes Hall (the CIS department colloquium room) at 3:30, with refreshments following the presentation. Send comments, ideas, and requests to Michel Kinsy.

Choose Year



May 2003
Colloquium29FOREST: A System for Developing and Evaluating Ecosystem Simulation Models
Heather May, University of Oregon
Colloquium01Social Computing
John Thomas, IBM T. J. Watson Research Center
April 2003
Colloquium18Gender Equity in Computer Science Education
Joanne McGrath Cohoon, University of Virginia
Colloquium15TILT: Compiling With Types For Optimization and Certification
Leaf Petersen, Carnegie Mellon University
Colloquium10Set systems and their representatives: Algorithms, complexity and applications
Jan Kratochvil, Charles University, Prague
March 2003
Colloquium17Scheduling Network Resources in Grid Computing Environments
D. Martin Swany, University of California, Santa Barbara
Colloquium13Optimal Bin Packing
Richard E. Korf, Computer Science Department, University of California, Los Angeles
Colloquium06Mining, mapping, modeling and crawling the Web
Filippo Menczer, University of Iowa
February 2003
Colloquium20Using Types to Enforce Architectural Design
Jonathan Aldrich, University of Washington
Colloquium13Types for Atomicity
Cormac Flanagan, Systems Research Center, Hewlett Packard Laboratories
January 2003
Colloquium30Why IPsec is Problematic for Applications other than VPN's
Jonathan Trostle, Security Consultant
Colloquium23What if Quantum computing becomes reality: Are we ready?
Janusz Kowalik, University of Washington
December 2002
Colloquium02Redesigning the Cluster Architecture (or How to Build an 8TF 1024 Node Cluster)
Matt Sottile, Los Alamos National Laboratory
November 2002
Colloquium21Primality is "Easy"
Joe Buhler, Reed College
Colloquium14On Models of Quantum Computation
Emanual Knill, Los Alamos National Laboratory
Colloquium07BluespecTM : A language for hardware design, simulation and synthesis
Arvind, Massachusetts Institute of Technology
Colloquium06Edge-disjoint odd cycles in planar graphs
Daniel Kral, Charles University, Prague
October 2002
Colloquium31The Stable Paths Problem as a Model of BGP Routing
Timothy Griffin, AT&T Research
Colloquium30Towards a systematic approach to networking research
Lixia Zhang, Computer Science Department, University of California, Los Angeles
Colloquium21Automatic Performance Analysis on Parallel Computers with SMP Nodes
Felix Wolf, Research Centre Juelich, Germany
Colloquium16Applying Insights from Visual Perception, Art and Illustration to the Design of More Effective Techniques for Representing Data
Victoria Interrante, University of Minnesota, Twin Cities
Colloquium03Departmental Introductions
CIS Faculty, University of Oregon