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_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,cf50e7cee8904ae5,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Ann: Workshop on OO and Ada in High Integrity Systems
Date: Tue, 07 Sep 2010 16:54:41 +0200
Organization: Adalog
Message-ID: <i65jnr$41u$1@news.eternal-september.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 7 Sep 2010 14:54:51 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="Dn22F68J9CHYFQQlT81DGA";
	logging-data="4158"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+U+mT9MluSadygC5Jhg0S8"
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr;
 rv:1.9.2.8) Gecko/20100802 Thunderbird/3.1.2
Cancel-Lock: sha1:IAIrjoqWJDxveoJ5Jsg/Mh0vFbQ=
Xref: g2news1.google.com comp.lang.ada:13966
Date: 2010-09-07T16:54:41+02:00
List-Id: <comp.lang.ada>

There will be a workshop during SIGAda, whose goal is to define a set of
Ada restrictions that would make using Object Oriented technologies with
Ada more applicable to high integrity systems. The workshop could lead
to the definition of a profile and to a document explaining and
justifying the profile, following the example of the Ravenscar profile
for the concurrency aspects.

All those interested are invited:
- to attend
- and/or send suggestions for possible restrictions (with justification)
to rosen@adalog.fr

The workshop will start with a summary of received proposals, followed
by discussion and (hopefully!) agreement on the content of the profile.

Those who are interested in the topic but are not aware of all the
issues are invited to attend the tutorial on the same topic during the
conference.

More info on http://www.sigada.org/conf/sigada2010/

Please pass the word around, and see you in Fairfax!
-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr