We're pleased to announce that the next SPARK User Group
meeting will be held in Bath, UK, on Wednesday 15th October 2008.
Booking a place
Capacity is limited, so priority will be given to our supported
customers, other clients, tool
partners and academic users. If you have not already received an
invitation, then please
contact us via sparkinfo@[EMAIL PROTECTED]
provisional list of speakers includes:
Guest speaker: Duncan Brown (Rolls-Royce plc).
"Formal Methods and DO-178C"
Industrial case-study: Neil White (iFACTS Team, Praxis).
"The iFACTS project"
Research report: Dr Paul Jackson, (University of Edinburgh)
"Using SMT Solvers to Prove SPARK VCs"
R&D Report: Rod Chapman (Praxis)
"SPARK Update and Release 7.6 Highlights"
|
