University of Oregon: Summer 2002 (June 24-July 5)
	Day 1 Logical Structures 1 Type Systems 1 Type Systems 2 Logical Structures 2 Day 2 Logical Structures 3 Logical Structures 4 Type Systems 3 Proof Carrying Code 1 Day 3 Linear Logic 1 Linear Logic 2 Day 4 Type Systems 4 Type Systems 5 Inductive Types 1 Proof Carrying Code 2 Day 5 Inductive Types 2 Type Systems 6 Decidability of Type Checking 1 Formalization of Mathematics Day 6 Decidability of Type Checking 2 Decidability of Type Checking 3 Day 7 Inductive Types 3 Realizabiliy and Program Extraction 1 Realizabiliy and Program Extraction 2 Principles and Pragmatics of Subtyping in PVS Day 8 Denotational Semantics 1 Denotational Semantics 2 Logical Frameworks Correctness of Hardware Components Day 9 Computation and Normalization as Interaction 1 Computation and Normalization as Interaction 2 Advanced Topics in Type Theory 1 Theorem Proving Day 10 Computational Content of Classical Logic 1 Advanced Topics in Type Theory 2 Day 11 Computational Content of Classical Logic 2 Advanced Topics in Type Theory 3 Logical Framework in TWELF 1 Logical Framework in TWELF 2
	This page is the property of the University of Oregon