From: roderick.chapman@googlemail.com
Subject: SPARK User Group 2008
Date: Mon, 28 Apr 2008 09:02:07 -0700 (PDT)
Date: 2008-04-28T09:02:07-07:00 [thread overview]
Message-ID: <9f80aed6-6509-4faf-931b-e05dc2b314d9@59g2000hsb.googlegroups.com> (raw)
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@praxis-his.com.
Programme
The 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"
next reply other threads:[~2008-04-28 16:02 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-28 16:02 roderick.chapman [this message]
2008-05-12 10:29 ` SPARK User Group 2008 Michael
2008-05-13 7:47 ` Simon Wright
2008-05-16 6:57 ` Michael
2008-05-16 8:21 ` stefan-lucks
2008-05-16 21:41 ` Simon Wright
2008-05-25 20:14 ` Michael
2008-05-26 10:06 ` Simon Wright
2008-05-27 18:43 ` Michael
2008-05-27 19:23 ` Simon Wright
2008-05-27 20:07 ` Jeffrey R. Carter
2008-05-27 21:57 ` Ed Falis
2008-05-28 9:51 ` iFACTS (was: SPARK User Group 2008) Stuart
2008-06-01 20:47 ` SPARK User Group 2008 Michael
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox