THIS MESSAGE IS BEING FORWARDED TO NON DCSIGADA MEMBERS AS THE MEETING THE
NOTICE CONCERNS CORRESPONDS
CLOSELY WITH SIGADA'98.
> Accomplished author and speaker on many things Ada John Barnes will be
> presenting at the behest of D.C. SigAda at Omni Shoreham Hotel in
> Washington, D.C. on Thursday, November 12, 1998. The meeting will begin
> at 8:00 PM so that the presentation can be convenient both to those
> attending the big conference and those who cannot attend during the day.
> Mr. Barnes will be discussing the Spark sublanguage of Ada which has found
> application in many safety-critical applications and includes annotations
> for data and information flow and proof.
> Non-members of D.C. SigAda are free to attend and are encouraged to do so
> (members please forward to all interested parties). We are very lucky and
> pleased to have such an excellent presenter for this meeting and hope that
> many of you will attend.
> Adam Welch
> D.C. SigAda Program Chair