Thursday 13th March

09:00	Thomas Santen (Microsoft) The Microsoft Hypervisor verification project
09:30	Peter Sewell (University of Cambridge) Rigorous views of real-world network protocols
10:00	Will Harwood (Citrix) Some roadblocks to the application of verification to product software
10:30	Morning coffee
11:00	Discussion session
13:00	Lunch
14:00	Jim Woodcock (University of York) File store
14:30	Richard Barry (Wittenstein High Integrity Systems) Free RTOS
15:00	Discussion session
15:30	Afternoon tea
16:00	Nick Tudor (QinetiQ) Certification of Airborne Systems
16:30	Jim Woodcock leading discussion Next Steps
17:00	Tony Hoare (Microsoft Research) Conclusions
17:30	Close of workshop.