ACM SIGAda 2010 International Conference — SIGAda Website
ACM logo SIGAda 2010 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 SIGAPP, SIGBED, SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and the Ada Resource Association
Ada vignette

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:


Workshops and BoFs

Media Information

Conference Officers

Program Committee

Grants to Educators

Previous Conferences

Important Visa Information for

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.

logo for Hyatt Fair Lakes

Hotel Rates, Reservations, Travel

Hyatt Fair Lakes

12777 Fair Lakes Circle
Fairfax, Virginia   22033   (USA)

Why Stay at the Conference Hotel?  
Corporate SponsorsPlatinum
Corporate SponsorsSilver
Ellidiss (TNI Europe) logo LDRA Inc.
Corporate SponsorsBasic

Register On-Line for SIGAda 2010 Now!
Conference Registration Information

Why Should You Join ACM?

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

last updated 23 October 2010 - cgr