Public Talks
Choose Type
All
Colloquium
Career Mentorship Colloquium
Directed Research Project
Area Exam
Dissertation Defense
Choose Year
| January 2000 | ||
|---|---|---|
| 13 | A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software Kathleen Lindlan, University of Oregon |
| November 1999 | ||
| 04 | Putting Operational Techniques to the Test: A Syntactic Theory for
Behavioral Verilog John Fiskio-Lasseter, University of Oregon |