Related Lectures and Courses
Marktoberdorf Summer School
1997, 2001, 2003, 2005
The Summer School Marktoberdorf is a two weeks' course for young computer scientists and mathematicians working in the field of "Analysis and Verification of Software Systems"
Oregon Programming Languages Summer School
- 2012 - look for Proofs as Processes (slides: PDF)
- 2011 - look for Polymorphic Logic and Design Issues for Implemented Type Theories
2011 lectures are presented by internationally recognized leaders in programming languages and formal reasoning research.
Principia Mathematica Anniversary Symposium
Paper: Triumph of Types
This lecture examines the influence of Principia Mathematica on modern type theories implemented in software systems known as interactive proof assistants. These proof assistants advance daily the goal for which Principia was designed: to provide a comprehensive formalization of mathematics.