Ada-Europe 2005: York, UK

Applications

Design and Scheduling Issues

Formal Methods

Ada and Education

Certification and Verification

Distributed Systems

Language Issues

Ravenscar Technology