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,926268705560b731,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-26 08:04:24 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: ANNOUNCE: USA SPARK Training course! Date: 26 Jul 2001 08:04:23 -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 996159864 19334 127.0.0.1 (26 Jul 2001 15:04:24 GMT) X-Complaints-To: groups-support@google.com NNTP-Posting-Date: 26 Jul 2001 15:04:24 GMT Xref: archiver1.google.com comp.lang.ada:10597 Date: 2001-07-26T15:04:24+00:00 List-Id: 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.