ACM SIGAda 2007 International Conference
ACM’s Special Interest Group on Ada (SIGAda) proudly sponsors
ACM logo 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
Lady Ada

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

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 SponsorsPlatinum
Lockheed Martin AdaCore OC Systems, Inc.
Corporate SponsorsGold   Corporate SponsorsSilver
Praxis High Integrity Systems, Ltd. Northrop Grumman   Telelogic North America Inc. GENCO Systems Inc. ARTiSAN Software Tools Ellidiss (TNI Europe) logo
Corporate SponsorsBasic
      Integrated Computer Solutions, Inc.
      DDC-I, Inc.
      Lattix, Inc.
Hyatt Fair Lakes Hotel
Hyatt Fair Lakes Hotel
Conference Schedule
Media Information
logo for 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

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

Conference Hotel | Hotel Reservation | Transportation/Directions to Hotel | Conference Registration
Hotel Rate and Availability Guarantee Ended 13 October
(Hotel may still honor our negotiated discounted rate)
Why Stay at the Conference Hotel?

Weather links:   Atlanta   Chicago   Dallas   Denver   Los Angeles   New York   San Diego   Washington, DC

USA Visas: If you require a visa to attend SIGAda 2007, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.

last updated 3 November 2007 - cgr