ANNOUNCE: USA SPARK Training course!

ANNOUNCE: USA SPARK Training course!

[Rod Chapman]

We're pleased to announce the first public "Software Engineering
with SPARK" course in the USA.

This course is being run in collaboration with and will
be hosted by the School of Engineering and Computer Science
at Oakland University, Rochester, Michigan.

The course will run from 24th to 28th September 2001.

Full details, and a booking form at available in PDF
at www.sparkada.com under "Training".  Alternatively, 
drop us a line at sparkinfo@praxis-cs.co.uk

Yours,
  Rod Chapman 
  SPARK Team
  Praxis Critical Systems

About SPARK

SPARK is a high level programming language developed specifically to
support high integrity applications where correct operation is vital
either for reasons of safety, security or business integrity.  Writing
code in SPARK automatically eliminates the possibility of introducing
many types of programming error.

SPARK is a cost-effective engineering solution.  It meets the
customer's needs by providing a high quality product; the developer's
needs by reducing cost and risk; and the regulator's needs by
simplifying the production of the required evidence of fitness for
purpose.  SPARK is the logical choice.

Re: Ada Training (was ANNOUNCE: USA SPARK Training course!)

[Ken Garlington]

While sitting through another depressing discussion the other day on the
death of Ada, there was a comment that, based on older data available
through the Internet (and the infamous CrossTalk article), it appeared that
Ada training courses in universities and elsewhere were shrinking, and fewer
students were attending. Is there a current source for this sort of
information? Alternately, would it be possible for the number of attendees
at courses like the following be published?

"Rod Chapman" <rod@praxis-cs.co.uk> wrote in message
news:ba18d5cb.0107260703.47139f63@posting.google.com...
: We're pleased to announce the first public "Software Engineering
: with SPARK" course in the USA.
:
: This course is being run in collaboration with and will
: be hosted by the School of Engineering and Computer Science
: at Oakland University, Rochester, Michigan.
:
: The course will run from 24th to 28th September 2001.
:
: Full details, and a booking form at available in PDF
: at www.sparkada.com under "Training".  Alternatively,
: drop us a line at sparkinfo@praxis-cs.co.uk
:
: Yours,
:   Rod Chapman
:   SPARK Team
:   Praxis Critical Systems
:
: About SPARK
:
: SPARK is a high level programming language developed specifically to
: support high integrity applications where correct operation is vital
: either for reasons of safety, security or business integrity.  Writing
: code in SPARK automatically eliminates the possibility of introducing
: many types of programming error.
:
: SPARK is a cost-effective engineering solution.  It meets the
: customer's needs by providing a high quality product; the developer's
: needs by reducing cost and risk; and the regulator's needs by
: simplifying the production of the required evidence of fitness for
: purpose.  SPARK is the logical choice.