ACM Logo

The Special Interest Group on Ada (ACM’s SIGAda).

Here you’ll find information on the SIGAda organization and
pointers to current information and resources for the Ada programming language.

Ada World blue logo

Home   About Ada
  Ada Basic Information
  Ada FAQs
  Creating Ada Software
  Ada Logos
Ada Awareness
  Ada answers
  Ada Information Clearinghouse
  Ada Usage and Success Stories
  Interesting Ada Articles
  Who's Using Ada?
  SIGAda's Booth Schedule
  “Powered by Ada” Poster Gallery
Ada Community
  Ada in Universities
  Ada Organizations Around the World
  Ada Related Conferences
  Contacting Others in Ada Community
  Local SIGAda Chapters
  Ada Vendors
  Ada Information Resources
  In Memoriam
SIGAda Organization
  SIGAda Working Groups
  Ada Letters
  SIGAda Awards
  SIGAda Officers
  By-laws
  Membership Benefits
ACM and SIGAda Info
  Joining ACM or SIGAda
  Previous SIGAda Conferences
  History of SIGAda
  Augusta Ada (Byron) Lovelace
  Women in Computer Science
  Computer Science Guide
  ACM Anti-Harassment Policy

Winners of 2019 SIGAda Awards

SIGAda is pleased to announce that the SPARK 2014 Team and Albert Timothy "Tim" Chamillard received SIGAda's awards for 2019. The SPARK 2014 Team received the Robert Dewar Award for Outstanding Ada Community Contributions. Albert Timothy "Tim" Chamillard of the University of Colorado received the ACM SIGAda Distinguished Service Award.

SPARK 2014 Team: Winner of
2019 Robert Dewar Award for
Outstanding Ada Community Contributions

SPARK 2014 Team:
AdaCore: Steve Baird, Arnaud Charlet, Claire Dross, Jerome Guitton, Johannes Kanig, Yannick Moy.
Altran: Roderick Chapman, Pavlos Efstathopoulos, Andrew Hawthorn, Trevor Jennings, Stuart Matthews, Florian Schanda, Angela Wallenburg.

The SPARK 2014 team at AdaCore and Altran (formerly Praxis HIS) built a completely new version of the SPARK program verification toolset on the shoulders of the original SPARK language and toolset, the GNAT Ada front end, the Ada 2012 language design, and the latest verification technology represented by the Intermediate Verification Language Why3 and advanced SMT (Satisfiability Modulo Theories) Solvers. This advanced product represents the state of the art in program verification, and has single-handedly built interest in Ada-based technology in a new generation of organizations that are working to build high-security applications. SPARK 2014's verification capabilities has kindled interest within Ada's conventional strongholds such as aerospace and defense, but also within new areas, among developers of critical systems such as security kernels, autonomous vehicles, medical devices, robots that collaborate closely with humans, etc. Adopters of SPARK 2014 tend to become adopters of Ada more widely, as the advantages of language-based safety and security become more apparent to the organizations that were initially focused only on their most safety- or security-critical applications. This is of huge benefit to the Ada community as a whole.

Albert Timothy "Tim" Chamillard: Winner of
2019 ACM SIGAda Distinguished Service Award

Dr. Tim Chamillard has been an important voice in the academic Ada community. Tim was instrumental in the use of Ada 95 while on the faculty of the US Air Force Academy. Tim is a longtime Ada supporter and SIGAda member and has contributed many significant papers relevant to the Ada Community in Ada Letters. His Ada 95 textbook published by McGraw-Hill was particularly noteworthy.


ACM SIGAda Annual International Conference

High Integrity Language Technology
HILT 2020

HILT 2020

USA
Fall 2020
Sponsored by ACM SIGAda

 
"Powered by Ada" Super-Success Stories

Rosetta “Comet Chaser”

Fully Successful CubeSat

London Underground
Victoria Line

Paris Metro
Line 1
 
Events Organized in Cooperation with ACM SIGAda
24th International Conference
on Reliable Software Technologies

(Ada-Europe 2019)
Ada Europe Logo
 

Ada Letters (SIGAda's bi-annual publication)
Available at ACM's Digital Library
Purchase SIGAda Proceedings at ACM's e-store


ACM SIGAda is the Special Interest Group on Ada, a part of ACM. SIGAda is a powerful resource for the software community's ongoing understanding of the scientific, technical and organizational aspects of the Ada language's use, standardization, environments and implementations.

This home page is maintained by the current SIGAda Secretary-Treasurer, Clyde Roby, with the assistance of the SIGAda working groups on their pages. Comments, suggestions or questions can be addressed to: ClydeRoby at ACM.Org

Lady Ada


Last Update: 29 November 2019