Conference announcements

Announcement -
High Integrity Software Engineering with SPARK course

From: rod@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: ANNOUNCE: SPARK Training Course, September, UK.
Date: 16 Jul 2001 03:27:33 -0700

We're pleased to announce the second public
"High Integrity Software Engineering with SPARK"
course for this year.

This is a 4-day course for managers, regulators and engineers,
which presents the principles of the development of high integrity
software, and the related certification requirements.
It explains the rationale of SPARK, outlines the language and
the principles of static code analysis, and presents the role of
the SPARK Examiner in systematic program development.

When:  4th - 7th September 2001
Where: Praxis Critical Systems' offices in Bath, UK.

For more information, please contact

 Fiona Joy
 Praxis Critical Systems Limited,
 20 Manvers Street,
 Bath BA1 1PX, UK
 email: sparkinfo@praxis-cs.co.uk
 phone: +44 (0)1225 466991
 fax:   +44 (0)1225 469006

A FAXable booking form is available in PDF at:

 http://www.sparkada.com/

under "Training"

Yours,
 The SPARK Team
 Praxis Critical Systems Limited

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2001/08/02.

Dirk Craeynest