Changes between Version 2 and Version 3 of CoursePisa2014


Ignore:
Timestamp:
3 Jun 2014, 15:36:27 (5 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CoursePisa2014

    v2 v3  
    1313 9:00  - 11:00:: Gilles Barthe
    1414
    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.
    1718
    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.
    2020
    2121=== 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.
    2324
    2425=== 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.
    2628
    2729=== 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.