From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: SPARK Training in 2005
Date: 11 Nov 2004 07:42:30 -0800
Date: 2004-11-11T07:42:30-08:00 [thread overview]
Message-ID: <cf2c6063.0411110742.40a359b8@posting.google.com> (raw)
I'm pleased to say that dates for public SPARK Training for 2005
are now available on www.sparkada.com
Note that there's a new, advanced "Black Belt SPARK" course that
concentrates on the use of the SPARK Proof Tools and the Proof-Directed
design of SPARK programs. Public course dates for this course will
be announced soon.
- Rod Chapman, SPARK Team
reply other threads:[~2004-11-11 15:42 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox