Wednesday 12th March

09:30	Arrival and registration
10:00	Jim Woodcock (University of York) Welcome, introduction and existing challenge problems
10:30	Rod Chapman (Praxis) The Tokeneer ID Station - a demonstration of high-assurance software development
11:00	Morning coffee
11:30	Colin O’Halloran (QinetiQ) Realising commercial benefit from dependable systems evolution Grand Challenge
12:00	Discussion session
13:00	Lunch
14:00	Peter O’Hearn ( Queen Mary) Applying the tool SpaceInvader
14:30	Robert Leese (Smith Institute) Electronic auctions
15:00	Discussion session
15:30	Afternoon tea
16:00	Continued discussion
17:30	Close of technical sessions