MetaPRL Tutorials and Courses.

The MetaPRL group had given or is planning to give the following tutorials and courses on the MetaPRL theorem prover:

Tutorial Introduction to MetaPRL Theorem Prover (Proposed), July 2004, Second International Joint Conference on Automated Reasoning (IJCAR 2004)
Course Introduction into formal computer-aided reasoning and the MetaPRL theorem prover (Proposed), June 2004, North American Summer School in Logic, Language and Information (NASSLI) 2004
Tutorial Introduction to MetaPRL Theorem Prover, September 2003, 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003)
MetaPRL-based course Type Theory and Formal Methods, Spring 2003, Caltech