wiki:CoursePisa2014

Version 3 (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

Week 2 (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.

Attachments (10)