[[PageOutline(1-3)]]
= Program =
== Week 1 ([attachment:week1.pdf]): Gilles Barthe ==
== Week 2 ([attachment:week2.pdf]): François Dupressoir ==
=== June 3rd ===
9:00 - 11:00:: Introduction and Lecture 1: Functional Programs, Ambient Logic and Interactive Proofs.
We went over Lecture 1 and some of the exercises in ambient_logic_clean.ec.
=== June 4th ===
9:00 - 11:00::
I expect to go over Lectures 2 and 3 and some of the exercises in distributions_clean.ec and conseq_clean.ec.
=== June 5th ===
9:00 - 11:00::
We will most likely go over Lecture 4: Proving Programs, and maybe touch Lecture 5: Transforming Programs.
=== June 6th ===
9:00 - 11:00::
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.