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.
The Ada Connection 2011
A series of talks from the Ada Connection 2011 conference that took place in Edinburgh, Scotland. The Ada Connection combined the 16th International Conference on Reliable Software Technologies — Ada-Europe 2011 — with Ada Conference UK 2011, two Ada events that have both been very successful in their own right. 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.
SPARK User Group 2010
AdaCore’s partner Altran Praxis 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.
Ada Past, Present and Future
Robert B. K. Dewar is a professor at NYU, President of AdaCore, and one of the early figures in the development of Ada. 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. The lecture also covers the fundamental ideas behind Ada, its influence on other languages, and the truths and myths associated with the language.
Related Resources: Steelman (original requirements doc)
Ada UK Conference 2009
We recently re-architected our site. The videos for this conference will be reposted soon.
Ada Conference 2009 moves to London this year with another distinguished group of speakers presenting talks on topics such as: Choosing a programming language, Static analysis, software certification, and the use of Ada in industry, among many others.