University of Oregon: Summer 2002 (June 24-July 5)

Program: Applications

Proof Carrying Code
Lecture Notes 1
Lecture 1 Video
Lecture Notes 2
Lecture 2 Video

Correctness of Hardware Components
Lecture Video

Formalization of Mathematics
Lecture Notes postscript | pdf Lecture Video

Principles and Pragmatics of Subtyping in PVS
Lecture Video

Logical Framework in TWELF
Lecture Video

This page is the property of the University of Oregon