BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP
Formal Aspects of Computing Science
JavaScript is Disabled
If you prefer to leave JavaScript disabled, you can still access the information at this site by using the links in our
NON-JS MENU PAGE
. Sorry for any inconvenience.
Return to the workshop homepage
Programme
Morning
(Chair: Jonathan Bowen, London South Bank University)
10:00 - 10:30
Coffee and Registration
10:30 - 11:15
Tony Hoare, Microsoft Research
Verified Software: Theories, Tools and Experiments
11:15 - 12:00
Colin O'Halloran, QinetiQ
Formal Methods - What difference does it make?
12:00 - 12:45
Michael Butler, University of Southampton
Overview of B Applications and Tools
12:45 - 13:45
Lunch
Afternoon
(Chair: Jim Woodcock, University of York)
13:45 - 14:30
Tom Melham, University of Oxford
Reflections on Embedded Proof Support and Customised Verification Tools
14:30 - 15:15
Rod Chapman, Praxis High Integrity Systems
Some Recent Results with SPARK
15:15 - 16:00
Juan Bicarregui, CCLRC Rutherford Appleton Laboratory
Establishing the Verified Software Repository: Current Plans
16:00 - 17:00
Reception
Formal Aspects of Computing Science
Copyright © BCS-FACS
Additional Keywords:
Formal Aspects of Computer Science, Formal Methods, Computer Science, Computing Science
