09:15 Introduction (Chair: Neville Dean, UK)
09:20 Larch: Is this what you have been looking for?
- John Wordsworth, UK
09:55 Z - A view from the Sunshine State.
- Dave Oliver, Australia
10:30 Coffee (Common Room)
11:00 How to teach error handling
- Geoff Hobson, UK
11:10 Teaching modelling and refinement in Z and SQL
- Norah Power, Ireland
11:20 The Z Standard and education
- John Wordsworth, UK
11:25 The challenge of advancing formal methods in academia
- Vicki Almstrum, Sweden
12:00 Discussion
12:25 Closing Remarks (Neville Dean)
12:30 Buffet lunch (Common Room)