Today's new issue of GCN (at http://www.gcn.com/print/27_8/46116-1.html) has some coverage of SIGAda, including a few words about Praxis, AdaCore, SPARK, and the iFACTS and Tokeneer projects. - Rod