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