Programme

Monday 6 April

AlgUK Session on Railway Verification

13:30 Simon Chadwick (Siemens Rail UK) --- TBC
14:15 Helen Treharne (Surrey) --- TBC
15:00 Coffee
15:30 Jan Peleska (Bremen)
16:15 Bas Luttik (Eindhoven)
17:00 Reception

Evening Public Lecture: "Is Theoretical Computer Science (still) relevant to Software Engineering?"

18:00 Tom Maibaum: Introduction
18:10 Cliff Jones: An Historical Perspective
18:30 Mike Hinchey (Limerick): A Modern Perspective --- TBC
18:50 Tim Kelly (York): A Modern Perspective --- TBC
19:10 Panel Discussion

Tuesday 7 April

AlgoUK session on Algorithmics

09:30 Kristina Vuskovic
10:15 Patrick Totzke
11:00 Coffee
11:30 Talks
12:15 Talks
13:00 Lunch

LMS Keynote Speaker in Discrete Mathematics

14:30 Robert Constable (Cornell)
15:30 Coffee

Contributed Talks

16:00 Talks
16:30 Talks
17:00 Talks
17:30 BCTCS Ordinary General Meeting (30 minutes)
19:00 Conference Banquet

Wednesday 8 April

Contributed Talks

09:00 Talks
09:30 Talks
10:00 Talks
10:30 Talks
11:00 Coffee

Invited Speaker

11:30 David Manlove (Glasgow)
12:30 Lunch

Contributed Talks

14:00 Talks
14:30 Talks
15:00 Talks
15:30 Talks
16:00 Close