wiki:CoursePisa2014

Version 1 (modified by François Dupressoir, 5 years ago) (diff)

--

Program

June 2nd

9:00 - 11:00
Introductory Lectures Tutorial Session 1 - Basic Proofs and Formalizations

June 3rd

9:00 - 11:00
Modules and Instantiation Tutorial Session 2 - Modules, advanced pRHL proofs

June 4th

9:00 - 11:00
Sections, Theories and Cloning Tutorial Session 3 - Sessions, Theories, advanced instantiation

June 5th

9:00 - 11:00
Probability Computations, Failure Events Tutorial Session 3 - Probability computations and reasoning up to failure

June 6th

9:00 - 11:00
Advanced Material Tutorial Session 4 - Advanced Proofs

Attachments (10)