|University of Oregon: Summer 2002 (June 24-July 5)|
The summer school on the "Proofs-as-Programs Paradigm" was a two week course for computer scientists and mathematicians interested in formal systems and automated techniques for reasoning about programs, with particular emphasis on the use of types as specifications for modern software components. The school was an opportunity for graduate students to extend their background in mathematics, logic, and type theory, and gain experience working with logical frameworks and proof assistants. The curriculum included basic foundational material and advanced material for those interested in new research directions.
|This page is the property of the University of Oregon|