There will be a workshop on OO and Ada in high integrity systems at SIGAda 2010.
The workshop is being held by Jean-Pierre Rosen. The goal of the workshop is:
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.
Here’s the full announcement and here’s the conference program.