The Ada Lecture Series

Learn more about Ada through this informative series of university lectures and conference presentations given by some of the foremost experts on the language.

SPARK User Group 2012

AdaCore and Altran partnered together to present the SPARK User Group 2012 at the High Assurance Software Symposium. The day included a series of talks by experts on tools and strategies for developing safe and secure software, including the introduction of SPARK 2014, the next generation of the SPARK language, which provides powerful verification through testing and proof.

See Videos »

The Ada Connection 2011

A series of talks from the Ada Connection 2011 conference that took place in Edinburgh, Scotland. The Ada-Europe series of conferences has become established as an international forum for providers, practitioners and researchers in all aspects of reliable software technologies.

See Videos »

SPARK User Group 2010

AdaCore’s partner Altran has traditionally run a bi-annual “SPARK User Group”. The talks from this years event aimed at engineers and managers who are concerned with the development, regulation, or procurement of high assurance software, but who may not be day-to-day SPARK users.

See Videos »

Ada Past, Present and Future

In this lecture given at the Massachusetts Institute of Technology, Mr. Dewar gives an overview of the history of Ada, which includes the motivation for its conception, the story of its development, and the role Ada plays in present day programming.

See Videos »