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 SIGAPP, SIGBED, SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and the Ada Resource Association

October 24-28, 2010 — Fairfax, Virginia
(Suburb of Washington DC, USA)

Final Program

SIGAda 2010 Home Register Online Now Hotel Rates, Reservations, Travel Reception Dinner & Cultural Program Exhibiting and Sponsorship Opportunities Conference at a Glance Final Program:     (PDF/US) Tutorials Workshops and BoFs Media Information Conference Officers Program Committee Grants to Educators Previous Conferences Important Visa Information for NON-US ATTENDEES

Keynote Presentations Chris Lane  Systems Software Integrity Assurance to FAA’s Next Generation (NextGen) Constituents (Abstract) Lockheed Martin Corporation William B. Martin  Transforming Software and System Development and Analysis (Abstract) National Security Agency National Information Assurance Research Laboratory Featured Speakers and Session Leaders Joe Jarzombek  Mitigating Risks to the Enterprise via Software Assurance (Abstract) Department of Homeland Security     Paul E. Black   Elizabeth Fong  Wouldn't It Be Nice to Have Software Labels? (Abstract) National Institute of Standards and Technology Stephen Michell  Software Security (Abstract) Maurya Software 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. Hotel Rates, Reservations, Travel Hyatt Fair Lakes 12777 Fair Lakes Circle Fairfax, Virginia   22033   (USA) Why Stay at the Conference Hotel?   Corporate Sponsors — Platinum Corporate Sponsors — Silver Corporate Sponsors — Basic       Mathworks www.mathworks.com Register On-Line for SIGAda 2010 Now! Conference Registration Information Why Should You Join ACM?