Monday 15 | Tuesday 16 | Wednesday 17 | Thursday 18 | Friday 19 | Saturday 20 | |
---|---|---|---|---|---|---|
9.00-9.45 | Registration | Miquel | Dowek | Miquel | Harrison | Gregoire |
9.55-10.40 | Geuvers | Miquel | Dowek | Miquel | Harrison | Gregoire |
10.40-11.10 | Coffee Break | |||||
11.10-11.55 | Geuvers | Dybjer | Lab Agda | Geuvers (FTA) | Paulin | Miquel |
12.05-12.50 | Nordström | Geuvers | Lab Agda | Geuvers (FTA) | Paulin | Harrison |
12.50-14.45 | Lunch Break | |||||
14.45-15.30 | Nordström | Agda Tutorial (C.Coquand) | Free | Isabelle Tutorial (Nipkow) | Isabelle Tutorial (Nipkow) | Lab/Exercises |
15.40-16.25 | Dybjer | Agda Tutorial (C.Coquand) | Free | Isabelle Tutorial (Nipkow) | Isabelle Tutorial (Nipkow) | Lab/Exercises |
16.25-16.55 | Coffee Break | Free | Coffee Break | |||
16.55-17.40 | Exercises | Lab Agda | Free | Lab Isabelle | Lab Isabelle | Lab/Exercises |
17.50-18.35 | Exercises | Lab Agda | Free | Lab Isabelle | Lab Isabelle | Lab/Exercises |
19.00-20.30 | Dinner | Banquette | Dinner | Special Dinner |
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 |