wiki:CoursePisa2014

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

--

Program

May 27th

16:00 - 18:00
Gilles Barthe

May 28th

16:00 - 18:00
Gilles Barthe

May 29th

9:00 - 11:00
Gilles Barthe

May 30th

9:00 - 11:00
Gilles Barthe

June 2nd

9:00 - 11:00
François Dupressoir: Introductory Lectures -- Tutorial: Basic Proofs and Formalizations

June 3rd

9:00 - 11:00
François Dupressoir: Modules and Instantiation -- Tutorial: Modules and advanced pRHL proofs

June 4th

9:00 - 11:00
François Dupressoir: Sections, Theories and Cloning -- Tutorial: Sessions, Theories and instantiation

June 5th

9:00 - 11:00
François Dupressoir: Probability Computations, Failure Events -- Tutorial: Probability computations and reasoning up to failure

June 6th

9:00 - 11:00
François Dupressoir: Structuring Proofs

Attachments (10)