karl@grebyn.com (Karl Nyberg) (02/03/89)
[Ed. - forwarded] -- Karl -- The Ada 9X language review/revision process is getting underway. This is an opportunity to influence the evolution of Ada. One way you can get involved is to participate in the Ada 9X Requirements Workshop this May (details below). The objectives of this workshop are to identify and articulate requirements for possible language revisions. I would like to organize a "verification caucus" at this workshop to ensure that requirements for formal semantics are expressed and included in the workshop recommendations. If you are interested in participating, please let me know as soon as possible and plan to submit a short position paper as described below. -- Reg Meeson, Institute for Defense Analyses meeson@ida.org or (703)845-3541 Workshop info.: Ada 9X Requirements Workshop 22-26 May 1989 Destin, Florida There will be a small registration fee. (TBD) Interested individuals must submit a one page position statement by 15 March 1989 to: Chris Anderson Ada 9X Project Office AFATL/FXG Eglin AFB, FL 32542-5434 Attendance is limited. Participants will be notified by 1 April 1989.