Changes between Initial Version and Version 1 of CoursePisa2014


Ignore:
Timestamp:
21 May 2014, 14:38:10 (5 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CoursePisa2014

    v1 v1  
     1[[PageOutline(1-3)]]
     2== Program ==
     3=== June 2nd ===
     4 9:00 - 11:00::
     5  Introductory Lectures
     6  Tutorial Session 1 - Basic Proofs and Formalizations
     7
     8=== June 3rd ===
     9 9:00  - 11:00::
     10  Modules and Instantiation
     11  Tutorial Session 2 - Modules, advanced pRHL proofs
     12
     13=== June 4th ===
     14 9:00 - 11:00::
     15  Sections, Theories and Cloning
     16  Tutorial Session 3 - Sessions, Theories, advanced instantiation
     17
     18=== June 5th ===
     19 9:00  - 11:00::
     20  Probability Computations, Failure Events
     21  Tutorial Session 3 - Probability computations and reasoning up to failure
     22
     23=== June 6th ===
     24  9:00  - 11:00::
     25   Advanced Material
     26   Tutorial Session 4 - Advanced Proofs