The Annual International Conference on the
Ada Programming Language
(including NIST Static Analysis Summit II
and HIBACHI Workshop)
in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT, Ada-Europe, and Ada Resource Association
November 4-9, 2007 — Fairfax, VA (A suburb of Washington, DC)
|Welcome to SIGAda 2007|
SIGAda Chair, Conference Chair,
and Program Committee Chair
|Special Keynote Presentations||
Wanted: Software with Assurance Built-in
Department of Homeland Security
Federal Aviation Administration and Ada (Abstract)
Federal Aviation Administration
Correctness by Construction: Putting Engineering (back) into Software (Abstract)
Praxis High Integrity Systems, Ltd.
|Corporate Sponsors — Platinum|
|Corporate Sponsors — Gold||Corporate Sponsors — Silver|
|Corporate Sponsors — Basic|
Integrated Computer Solutions, Inc.
|Hyatt Fair Lakes Hotel|
Hotel Reservations at SIGAda 2007
Hotel Rate and Availability Guarantee Ended 13 October
(Hotel may still honor our negotiated discounted rate)
Hyatt Fair Lakes Hotel
12777 Fair Lakes Circle
Fairfax, VA 22033
Transportation/Directions to Hotel
November 4-9, 2007
Grants to Educators
The SIGAda 2007 Proceedings will be published in Ada Letters.
Why Should You Join ACM?
Join ACM and/or SIGAda NOW before registering to benefit from Member Rates.
Compare Conference and Tutorial Rates
Weather links: Atlanta Chicago Dallas Denver Los Angeles New York San Diego Washington, DC