Skip Navigation

Public Talks

Choose Type

All of these talks are open to the public, and will provide some insight into various research activities here and at other institutions.

Choose Year



August 2000
Dissertation Defense10Force Plus Graphics Is Not Equal to Vision Plus Haptics: Towards Usable Haptic Environments
Arthur Kirkpatrick, University of Oregon
June 2000
Colloquium29Network Traffic Characterization of TCP in Distributed Computational Grids
Wu Feng, Los Alamos National Labs
Colloquium08Esoteric Graph Problems
Andrzej Proskurowski, University of Oregon
Colloquium05Better than Brute Force
Eugene Luks, University of Oregon
Colloquium01Types for Compiling Java and Running HOT Programs
Valery Trifonov, Yale University
May 2000
Colloquium25Supporting Multicast on the Internet
Daniel Zappala, University of Oregon
Colloquium11Building Adaptable Programs in HOT Languages: A Comparison of Polymorphism, Modules, and Objects
David McQueen, Bell Labs Research
Colloquium04Group Communication in Networks
Art Farley, University of Oregon
April 2000
Colloquium2020:20 Foresight or the vexed problem of Scenario-based Requirements Validation
Alistiar Sutcliffe, Centre for HCI Design, Department of Computation, University of Manchester Institute of Science and Technology, Manchester, UK
Colloquium14Theorem proving strategies: a search-oriented taxonomy
Maria Paola Bonacina, Department of Computer Science, University of Iowa
March 2000
Colloquium30Type Theory and the TILT Compiler
Christopher Stone, Department of Computer Science, Carnegie Mellon University
Colloquium28Towards Automated Verification of Safety Architectures
Carsten Schuermann, Department of Computer Science, Carnegie Mellon University
Colloquium09Unexpected and Complex Behavior of Hierarchical, Multiresolution Cellular Automata
Ross Kiester, USDA Forest Service, Corvallis, OR
Colloquium02A Preliminary Comparison of Proposed Topologies for Geodesic Discrete Global Grid Systems
Kevin Sahr, University of Oregon
February 2000
Colloquium03Partial differential equations in interpretation of a class of ophthalmological images
Andrew P. Paplinski, Computer Science & Software Eng, Monash University, Melbourne, Australia
January 2000
Colloquium27Resource Allocation Using Controls: A Feedback-Driven Proportion Allocator for Real-Rate Scheduling
David Steere, Dept. of Computer Science and Engineering, Oregon Graduate Institute
Molly Shor, Dept. of Electrical and Computer Engineering, Oregon State University
Directed Research Project13A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software
Kathleen Lindlan, University of Oregon
Colloquium13Yes/No Satisfiability: Close to the Edge of NP-Completeness
Jan Kratochvil, Charles University, Prague
December 1999
Colloquium02Animation for Arts and Design
Ying Tan, Department of Fine and Applied Arts, University of Oregon
November 1999
Colloquium18Current Research in Networks at the University of Oregon
Virginia Lo, University of Oregon
Andrzej Proskurowski, University of Oregon
Directed Research Project04Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog
John Fiskio-Lasseter, University of Oregon
October 1999
Colloquium28Formalization of the Notion of Algorithm
Yuri Gurevich, Microsoft Research and University of Michigan
Colloquium14Divide-and-Conquer Bidirectional Search
Richard Korf, University of California, Los Angeles