A presentation from the GNAT Pro User Day about AdaCore University

2. Learning Ada & SPARK: Spreading
the Ada know-how
Presented by
Jack Mellor

3. The Ada Market
Commercial / Military Avionics
Rail Transportation
Space Domain
Defence
Energy: UPS | Oil & Gas
Automotive Industry
Security Critical | Data Encryption | Financial Systems
[…]

4. Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training

5. Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training

6. GNAT GPL
Grass roots
Open Source tools available for hobbyists & students
libre.adacore.com
ARM bare board support in 2014 edition

7. Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training

8. GAP
GNAT Academic Program
Over 200 members across 34 countries
Objective: To support and increase the use of Ada in Academic
environments
Delivery of Ada/SPARK presentations, webinars & lessons
Access to tools & support

9. GAP
GNAT Academic Program
Over 200 members across 34 countries
Objective: To support and increase the use of Ada in Academic
environments
Delivery of Ada/SPARK presentations, webinars & lessons
Access to tools & support

10. Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training

11. AdaCore University
AdaCore University is the platform for self-education
on Ada and related technologies.

12. AdaCore University
Ada 001 – Overview
Ada 002 – Basic concepts
Ada 003 – Programming in the large
Ada 004 – Mixed language programming

13. Roadmap
Cover all aspects of Ada 2012
Advanced concepts | architecture | concurrency | real time | object orientation | contracts
SPARK 2014
Introductory courses

14. university.adacore.com

15. Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training

16. Training
Ada | SPARK 2014 | Tools
Professional on-site training
Public training courses
Ada, SPARK & GNAT technology experts

17. Training
AdaCore-certified Engineer (ACE)
Next public Ada & SPARK courses: Spring / Autumn 2015

18. libre.adacore.com
adacore.com/academia
university.adacore.com
adacore.com/training