Click Here to visit the Ada Connection 2011 conference site.
AdaUK conference UK 20013

"A benchmark for safety, security and reliability – the new updated Ada 2012 language."

Find the event programme here.

In an era when software impacts on almost every part of our lives, the need for software that is both safe and secure has never been greater or more urgent. With decades of success in industrial sectors including avionics, aerospace and defence, Ada is generating new interest in domains such as automotive, medical and financial systems, where the cost of software errors can range from lost livelihoods to lost lives. Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.

The most important enhancements in Ada 2012 are directly related to program “correctness”, namely the introduction of more powerful assertion mechanisms (predicates) into the language: pre- and post-conditions for subprograms, type invariants, and subtype predicates. These are mechanisms that encourage the programmer to better specify the intent of the code they write, and allow the run-time system to verify that this intent is actually achieved. These “programming by contract” features are also beneficial when utilising static analysis tools.

Ada is used worldwide, in both government and commercial systems. It is taught at universities and colleges where software engineering has an important focus.


Organisers and Sponsors

The Ada Conference UK 2013 is made possible through the efforts of the Centre for Software Reliability and lead sponsor AdaCore.

AdaCore CSR

The details

  • When: April 25th, 2013
  • Where: Austin Court, Birmingham
Who should attend?
If you work with Ada, are considering Ada on your next project, or are simply interested in learning about the world's most safety and security conscious programming language, you won't want to miss this event. To attend this key event in the Ada calendar, at a charge of £180, please complete the registration slip here.
The one-day Ada Conference UK will feature a half-day tutorial on the new capabilities introduced in this latest version. Presented in the morning by Tucker S. Taft, language expert and member of the Ada Rapporteur Group (ARG), this tutorial will introduce these new features to programmers familiar with either Ada or other systems programming languages such as C, C++ or Java. A member of the Def Stan Authoring Team will also give an overview on the planned revision of Def Stan 00-56, introducing new concepts and requirements. The afternoon session will offer a range of talks from industry and technical experts as well as a selection of vendor talks from the Ada ecosystem.
Meet colleagues from the Ada community and learn about innovative use of the language to overcome software engineering problems.
Examine a substantial range of technologies from the leading Ada toolset and service vendors

Videos from the last event

Ada Conference UK 2009

Wind River Centre for Software Reliability AdaCore