AdaCore University is a dedicated e‑learning center to teach the Ada language and the use of related technologies.
In this overview we'll discuss how to interact with the AdaCore University platform, take courses and exercises, and how to download the GNAT technology.
An overview of the Ada programming language. Through a set of small examples, you will have the opportunity to see, understand and experiment most of the capabilities of the language, and write small programs.
The basic concepts of the Ada programming language, allowing you to write small programs.
Programming in the Large
This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.
Multi-Language Programming with Ada
This course presents how Ada can interact with foreign languages such as C, C++ and Java.
This course will describe how to develop concurrent application using Ada.
This course will introduce the formally provable version of Ada: SPARK 2014.