Announcements

Keynote Address:
Transforming Software and System Development and Analysis
William B. Martin (National Security Agency
National Information Assurance Research Laboratory)

Parallelism Generics for Ada 2005 and Beyond
Brad Moore (General Dynamics Canada)

Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance
You Li (Nanjing University), Lu Yang (Nanjing University), Lei Bu (Nanjing University), Linzhang Wang (Nanjing University), Jianhua Zhao (Nanjing University), and Xuandong Lu (Nanjing University)

Ellidiss Sponsor Presentation: Industrial Solutions for developing Critical Systems and Software
Tony Elliston (Ellidiss (TNI Europe))

LDRA Sponsor Presentation: Managing Legacy Ada Software with the LDRA tool suite
Shan Bhattacharya (LDRA)

Workshop on Software Security: "Find the Vulnerability"
Stephen Michell (Maurya Software)

Panel: Software Security
Stephen Michell (Maurya Software)

Workshop on Developing a Profile for Using Object Oriented Ada in High-Integrity Systems
Jean-Pierre Rosen (Adalog)

Workshop on ParaSail: Parallel Specification and Implementation Language
Tucker Taft (SoftCheck, Inc.)

Birds of a Feather: GNAT
Greg Gicca (AdaCore)