Public Talks
Choose Type
All
Colloquium
Career Mentorship Colloquium
Directed Research Project
Area Exam
Dissertation Defense
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 |