Personal tools
You are here: Home Press Room News Releases 2007 ACM SIGAda Conference to Examine Latest Developments in Reliable Software and IT Systems
Document Actions

ACM SIGAda Conference to Examine Latest Developments in Reliable Software and IT Systems

acm                                

The Association for Computing Machinery

Advancing Computing as a Science & Profession

 

MEDIA ADVISORY


Washington, DC - For Release October 22, 2007

 

ACM SIGAda CONFERENCE TO EXAMINE LATEST DEVELOPMENTS IN RELIABLE SOFTWARE AND IT SYSTEMS

 

WHAT:  2007 SIGAda International Conference

  • Tutorials:
    • Exposing Ada Web Services Using a Service-Oriented Architecture
    • Security by Construction
    • Languages for Safety-Critical Software
  • Technical Papers
    • High-Assurance Profile for Common Object Request Broker Architecture (CORBA)
    • Neural Networks
    • SPARK Ada Program Developments
  • Workshops
    • Software Analysis Summit sponsored by NIST
  • Exhibits
    • Lockheed Martin, AdaCore, OC Systems, Praxis, Northrop Grumman , others
  • Best Student Paper Competition, Awards Ceremony, Cultural Performances

 

WHO: Keynote speakers

  • Joe Jarzombek, Department of Homeland Security, Nov 6
  • Jeff O’Leary, Federal Aviation Administration, Nov 7
  • Rod Chapman, Praxis High Integrity Systems, Nov 8

WHEN: November 4-9, 2007      Complimentary Press Registration (except meals)

  • Tutorials, Nov 4 – 5
  • Conference Sessions, Nov 6 – 8
  • Exhibits, Nov 6 – 7
  • Code Analysis Summit II, Nov 8- 9


WHERE: Hyatt Fair Lakes Hotel, 12777 Fair Lakes Circle, Fairfax, VA 22033


WHY: ACM SIGAda 2007 www.sigada.org/conf/sigada2007 features leading researchers, practitioners, and providers of high integrity, secure and safe systems software.  The conference emphasizes the strengths of the Ada programming language in distributed, real-time, and embedded systems. The latest version, Ada 2005, incorporates unique features for safety and security. Ada’s proven reliability, efficiency, robustness and all-around success is unparalleled at solving real-time and/or distributed system challenges. Ada-based software powers the latest Boeing and Airbus jetliners, New York’s new subway automated train control, European very-high-speed railways, and many other important commercial and military systems.

The Federal Aviation Administration recently announced government acceptance of a multi-billion dollar Ada-based core Air Traffic Control System www.faa.gov/news/fact_sheets/news_story.cfm?newsId=7714. This software is a huge step toward the next generation of air traffic control.


About ACM

ACM www.acm.org is an educational and scientific society uniting the world’s computing educators, researchers and professionals to inspire dialogue, share resources and address the field’s challenges. ACM strengthens the profession’s collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence.  ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.

For More Information:       Contact Virginia Gold   vgold@acm.org  212-626-0505

#   #   #