Nuprl-Related Lectures and Courses

CS611 - Advanced Programming Languages
  Lecture Notes 1994, 1993, 1992, 1991
 
CS486 - Applied Logic
    Course Home Page 2003
 
CS686 - Logics of Programs
     
 
CS671 - Introduction to Automated Reasoning
    Course Home Page 2002, 1999
 
Marktoberdorf Summer School
    1997, 2001, 2003, 2005