SPARK User Group 2008

We're pleased to announce that the next SPARK User Group meeting will be held in Bath, on 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@praxis-his.com.

Programme

The provisional list of speakers includes:

Introduction: Rod Chapman (SPARK Team, Praxis)

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"