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 2001 | ||
|---|---|---|
 | 23 | Reasoning About Large Systems in a Compositional Way Dimitra Giannakopoulou, NASA / Ames |
| July 2001 | ||
| 05 | Combinations of Evolution and Learning in Artificial Adaptive Systems Keith L. Downing, Department of Computer and Information Sciences, The Norwegian University of Science and Technology, Trondheim, Norway |
| June 2001 | ||
| 07 | Using Theorem Proving in Industry John Harrison, Intel Corporation |
 | 04 | The Role of Instrumentation and Mapping in Performance Measurement Sameer Shende, University of Oregon |
| 01 | Symmetry Breaking and Fault Tolerance in Boolean Satisfiabilty Amitabha Roy, University of Oregon |
| May 2001 | ||
| 31 | Proofs as programs and proof of programs, an introduction to the Coq system Hugo Herbelin, INRIA-Rocquencourt |
| 22 | succ(succ(ARPAnet)) == Digital Libraries Eugene N. Miya, NASA |
| 17 | Nondeterminism as an abstraction mechanism Michal Walicki, Institute of Informatics, University of Bergen, Norway |
| April 2001 | ||
| 05 | unknown Yang Richard Yang, Department of Computer Sciences, University of Texas at Austin |
| March 2001 | ||
| 15 | Global Data Distribution in Software Distributed Shared Memory Systems David Lowenthal, Department of Computer Science, University of Georgia |
| 08 | Some Pragmatic Aspects of Compiling Standard ML with Intersection and Union Types Robert Muller, Boston University |
| 01 | A Region-based Approach to Parallel Computing Brad Chamberlain, University of Washington |
| February 2001 | ||
| 22 | Multicast Scheduling and Routing Problems Ran Libeskind-Hadas, Department of Computer Science, Harvey Mudd College |
| 15 | Technology from Biology: Using Biological Concepts to Guide the Design of Autonomous, Adaptive Technology Gene Korienek, 3 Sigma Robotics |
| January 2001 | ||
| 11 | PPerfDB: A Tool for Automated Diagnosis of Large-Scale Parallel Applications Karen L. Karavanic, Portland State University |
| December 2000 | ||
| 07 | Internet Exchange Architecture: Building blocks for a programmable Internet Raj Yavatkar, Intel Corporation |
| November 2000 | ||
| 30 | Towards a 2nd Age of Discovery: Emerging Research Priorities in Geographic Information Science Dawn Wright, Department of Geosciences, Oregon State University |
| 22 | The Games Computers (and People) Play Jonathan Schaeffer, Department of Computing Science, University of Alberta |
| 15 | Quantum information and quantum computation, or why quantum mechanics is good for you Carlton M. Caves, Department of Physics and Astronomy, University of New Mexico |
| 09 | Toward a Problem Solving Environment for Comparative Genomics John Conery, University of Oregon |
 | 06 | Statistical Analysis of Random 3-SAT Problems Using Binary Decision
Diagrams Iustin Benche, University of Oregon |
| 02 | Computer Aided Color Appearance Design Gary W. Meyer, University of Oregon |
| October 2000 | ||
| 26 | Challenges for High Performance Computing John Reynders, High Performance Computing, Sun Laboratories, Sun Microsystems |
| 16 | Computer Graphics in the Computational Sciences Steve Cunningham, California State University Stanislaus |
| September 2000 | ||
 | 08 | Specifications and Properties of Programming Languages Yong Xiao, University of Oregon |