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,e8e94ddae9fdd27d,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-12-12 14:52:18 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!newsfeed.online.be!feed2.onemain.com!feed1.onemain.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!news.mindspring.net!not-for-mail
From: Larry Hazel <lhazel@mindspring.com>
Newsgroups: comp.lang.ada
Subject: Crash-Free Software
Date: Tue, 12 Dec 2000 16:52:31 -0600
Organization: MindSpring Enterprises
Message-ID: <3A36AC2F.349D46F2@mindspring.com>
NNTP-Posting-Host: c7.ae.9c.8f
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Server-Date: 12 Dec 2000 22:51:16 GMT
X-Mailer: Mozilla 4.76 [en] (Win98; U)
X-Accept-Language: en,x-ns11F8K63r3NhQ,x-ns2r2e09OnmPe2
Xref: supernews.google.com comp.lang.ada:3020
Date: 2000-12-12T22:51:16+00:00
List-Id: <comp.lang.ada>

There is a short article in the paper today that NASA and Carnegie Mellon
University are forming a High Dependability Computing Consortium.  Systems to be
targeted are air trafic control, the space program, health care, banking ... 
Twelve companies will be involved including IBM, Sun, and Microsoft.  No mention
was made about language, but this might be a good place for Ada advocates to
target their efforts.  The first planning meeting is in January. 
-- 
Larry Hazel