From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8d6b089784fbebe2,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-16 03:27:33 PST Path: archiver1.google.com!news2.google.com!postnews1.google.com!not-for-mail 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 Organization: http://groups.google.com/ Message-ID: NNTP-Posting-Host: 193.114.91.187 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 995279253 18247 127.0.0.1 (16 Jul 2001 10:27:33 GMT) X-Complaints-To: groups-support@google.com NNTP-Posting-Date: 16 Jul 2001 10:27:33 GMT Xref: archiver1.google.com comp.lang.ada:9989 Date: 2001-07-16T10:27:33+00:00 List-Id: 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