SIGAda 2007 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)

Special Keynote Presentations
Joe Jarzombek  Wanted: Software with Assurance Built-in Department of Homeland Security	Jeff O'Leary  Federal Aviation Administration and Ada (Abstract) Federal Aviation Administration	Rod Chapman  Correctness by Construction: Putting Engineering (back) into Software (Abstract) Praxis High Integrity Systems, Ltd.

Corporate Sponsors — Gold			Corporate Sponsors — Silver

Hyatt Fair Lakes Hotel

Conference Schedule Tutorials Workshops Exhibits Media Information

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 Final Program

Conference Officers Program Committee Important Dates 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