This conference looks like a great place to discuss Ada and SPARK. I hope
some team members will submit a paper or panel proposal. Submissions are
due in October. Here is the URL for the conference for additional information.
John W. McCormick
Chair, SIGAda 2005 Conference, 13-17 November, Atlanta, Georgia, USA
Computer Science Department
University of Northern Iowa voice (319) 273-6056
Cedar Falls, IA 50614-0507 fax (319) 273-7123