Schedule

Proofs of Programs and Formalisation of Mathematics

Lectures and tutorials will take place in Torg 2, on the 2nd floor of the IT University main building (Hus Patricia, Forskningsgången 6, see map).
Exercises and labs will take place on the 3rd floor of the IT University main building.
Lunches, coffee breaks and dinners will take place Torg 3, on the 3rd floor of the IT University main building.
The banquette and the special dinner will not take place at the IT university. Click here for further information.

	Monday 22	Tuesday 23	Wednesday 24	Thursday 25	Friday 26
9.00-9.45	McBride	Avigad	Thery	Bertot	Augustsson
9.55-10.40	McBride	Palmgren	Thery	Bertot	Augustsson
10.40-11.10	Coffee Break
11.10-11.55	Martin-Löf	Wiedijk	Avigad	Filliatre	T. Coquand
12.05-12.50	Martin-Löf	Wiedijk	Palmgren	Filliatre	T. Coquand
12.50-14.45	Lunch Break
14.45-15.30	Coq Tutorial (Bertot & Filliatre)	Coq Tutorial (Bertot & Filliatre)	Free	Lab	Free
15.40-16.25	Coq Tutorial (Bertot & Filliatre)	Coq Tutorial (Bertot & Filliatre)	Free	Lab	Free
16.25-16.55	Coffee Break		Free	Coffee Break	Free
16.55-17.40	Lab Coq	Lab Coq	Free	Lab	Free
17.50-18.35	Lab Coq	Lab Coq	Free	Lab	Free
19.00-20.30	Dinner		Banquette	Dinner	Free

Lectures and tutorials will take place in the lecture room Alfa in Chalmers Lindholmen (Hus Saga, see map).
Exercises and labs will take place on the 3rd floor of the IT University main building.
Lunches, the coffee breaks in the afternoons and dinners will take place Torg 3, on the 3rd floor of the IT University main building.
The coffee breaks in the mornings will take place outside the lecture room.
The banquette will not take place at the IT university. Click here for further information.

Last modified: Mon Jul 4 12:55:26 CEST 2005