From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!decwrl!ucbvax!grebyn.com!karl
From: karl@grebyn.com (Karl Nyberg)
Newsgroups: comp.lang.ada
Subject: Ada 9X Workshop
Message-ID: <8902021747.AA26745@grebyn.com>
Date: 2 Feb 89 17:47:19 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: Grebyn Corporation
List-Id: <comp.lang.ada>

[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.