ACM SIGAda 2009 International Conference — SIGAda Website
ACM logo SIGAda 2009 logo
ACM’s Annual International Conference on
Ada and Related Technologies

Engineering Safe, Secure, and Reliable Software

Sponsored by SIGAda, ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with SIGBED, SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and the Ada Resource Association
Ada vignette

November 1-5, 2009 — Tampa Bay, Florida

Advance Program

SIGAda 2009 Home

Conference Registration Information

Hotel Rates and Reservations

Exhibiting and Sponsorship Opportunities

Conference at a Glance
Advance Program:
    (PDF/US) or (PDF/A4)


Workshops and BoFs

Media Information

Conference Officers

Program Committee

Important Dates

Grants to Educators

Keynote Presentations

Richard Schmidt
 An Ada Retrospective: Developing Large, Mature, Reliable Systems (Abstract)
Lockheed Martin
Information Systems & Global Services - Civil Group

John Knight
 Echo: A New Approach to Formal Verification Based on Ada
The Technology & Experience in Security and Medical Devices (Abstract)
University of Virginia
Computer Science Department

J. C. Smart
 A Look at Ada from Both Sides Now
(a government, and a defense contractor perspective) (Abstract)
Intelligence and Information Systems

SUMMARY: Reliability, safety, and security are among the most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements are met.

Such software is in operation in many domains of application. Much has been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must remain focused on the importance of reliability, safety, and security; our educational institutions must fully integrate these concerns into their curricula.

The conference will gather industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada.

Beaches in Tampa Bay
Beaches in Tampa Bay
Art from Dali Museum
art from Dali museum
Reception at
Dali Museum
Sunshine Skyway
Sunshine Skyway

Platinum Sponsors

logo for Hilton St. Petersburg Bayfront

Hotel Rates and Reservations

Hotel Reservations at SIGAda 2009
Hilton St. Petersburg Bayfront

333 First Street South
St. Petersburg, Florida   33701   (USA)

Why Stay at the Conference Hotel?  

Silver Sponsors

Ellidiss (TNI Europe) logo
Lockheed Martin

Tuesday Evening Reception/Buffet

7-10 PM Schedule
Salvador Dali Museum

Register On-Line for SIGAda 2009 Now! Conference Registration Information
Hotel Rates and Reservations

Why Should You Join ACM?

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

last updated 30 November 2009 - cgr