Tuesday 9th January
-
11.00 -- 12.00 (room S110B) Methodology and Galois Connections (Andy King)
-
12.00 -- 1.00 (Origins) Lunch together (All)
-
1.00 -- 2.00 (room S110B) Widening and Narrowing (Andy King)
-
2.00 -- 3.45 (room SW101) Practical Session on Interval Analysis (Axel Simon)
-
3.45 -- 5.00 (room ELET) Polyhedral Analysis (Axel Simon)
-
7.00 -- 9.00 (Thomas Becket) Evening meal together (All)
Wednesday 10th January
-
9.30 -- 10.30 (room SW101) Lattices (Andy King)
-
10.30 -- 11.00 (room SW101) Symbolic Execution (Andy King)
-
11.00 -- 12.00 (room SW101) Practical Session on Multiplicity Analysis (Axel Simon)
-
12.00 -- 1.00 (Origins) Lunch together (All)
-
1.00 -- 2.00 (room SW101) Type Inference (Olaf Chitil)
Finally, see
for a picture of the delegates on the course.
