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

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) Tutorials 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) Raytheon 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 Art from Dali Museum Reception at Dali Museum Sunshine Skyway Platinum Sponsors 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 Tuesday Evening Reception/Buffet 7-10 PM Schedule at Salvador Dali Museum Register On-Line for SIGAda 2009 Now! Conference Registration Information Hotel Rates and Reservations Why Should You Join ACM?