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.

http://www.jmu.edu/iiia/wsseet/


John

John W. McCormick
Chair, SIGAda 2005 Conference, 13-17 November, Atlanta, Georgia, USA
http://www.sigada.org/conf/sigada2005/

Computer Science Department
University of Northern Iowa        voice (319) 273-6056
Cedar Falls, IA 50614-0507       fax (319) 273-7123