Changes between Version 2 and Version 3 of CoursePisa2014
 Timestamp:
 3 Jun 2014, 15:36:27 (6 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

CoursePisa2014
v2 v3 13 13 9:00  11:00:: Gilles Barthe 14 14 15 === June 2nd === 16 9:00  11:00:: François Dupressoir: Introductory Lectures  Tutorial: Basic Proofs and Formalizations 15 == Week 2 ([attachment:week2.pdf]): François Dupressoir == 16 === June 3rd === 17 9:00  11:00:: Introduction and Lecture 1: Functional Programs, Ambient Logic and Interactive Proofs. 17 18 18 === June 3rd === 19 9:00  11:00:: François Dupressoir: Modules and Instantiation  Tutorial: Modules and advanced pRHL proofs 19 We went over Lecture 1 and some of the exercises in ambient_logic_clean.ec. 20 20 21 21 === June 4th === 22 9:00  11:00:: François Dupressoir: Sections, Theories and Cloning  Tutorial: Sessions, Theories and instantiation 22 9:00  11:00:: 23 I expect to go over Lectures 2 and 3 and some of the exercises in distributions_clean.ec and conseq_clean.ec. 23 24 24 25 === June 5th === 25 9:00  11:00:: François Dupressoir: Probability Computations, Failure Events  Tutorial: Probability computations and reasoning up to failure 26 9:00  11:00:: 27 We will most likely go over Lecture 4: Proving Programs, and maybe touch Lecture 5: Transforming Programs. 26 28 27 29 === June 6th === 28 9:00  11:00:: François Dupressoir: Structuring Proofs 30 9:00  11:00:: 31 We will discuss or finish Lecture 5: Transforming Programs and try to skim over Lecture 6: Structuring Proofs and Lecture 7: Advanced Tactics. However, priority will be given to discussing exercises on Lectures 1 through 5.