SPARK

Coordinator: Roderick Chapman, Praxis High Integrity Systems, Ltd. (Presentation)
Wednesday, November 17, 8:00 - 9:00 PM

AdaCore's GNAT Academic Package

Coordinator: Edmond Schonberg, AdaCore (Presentation)
Wednesday, November 17, 8:00 - 10:00 PM

Ada Application Programming Interfaces (API) Management

Coordinator: Clyde Roby, Institute for Defense Analyses
Wednesday, November 17, 10:00 - 10:30 PM

APIWG's XML subgroup, Robert C. Leif (PowerPoint Presentation)

Ada Semantic Interface Specification Working Group (ASISWG) / Rapporteur Group (ASISRG) Workshop

Coordinator: Currie Colket, The MITRE Corporation
Wednesday, November 17, 10:30 - 11:00 PM