GAP Course Material
The material in this archive is the Ada and SPARK teaching material used by various professional instructors. It's not meant to be a unique teaching experience, but rather four different courses, each with commonalities and specificities. The material can be used as-is, or modified to serve as the basis for custom Ada or SPARK courses. It can be freely distributed under the terms of the Creative Commons "Attribution-ShareAlike 4.0 International".
Self-learning teaching material is also available at learn.adacore.com
Ada Training
A full deck of slides and labs for Ada 2012 training, covering aspects of the language from basics to advanced concepts — equivalent to around 10-15 days of full time class.
Ada Programming with GNAT
An alternative set of slides and labs for Ada basic training — equivalent to around 5 days of full time class.
SPARK Fundamentals
A set of slides and labs for introduction to SPARK, not assuming prior Ada knowledge — equivalent to around 5-10 days of full time class.
SPARK 2014
An alternative set of slides and labs for introduction to SPARK not assuming Ada knowledge — equivalent to around 5-10 days of full time class.