From: karl@grebyn.com (Karl Nyberg)
Subject: Ada 9X Workshop
Date: 2 Feb 89 17:47:19 GMT [thread overview]
Message-ID: <8902021747.AA26745@grebyn.com> (raw)
[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.
reply other threads:[~1989-02-02 17:47 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox