There are three available courses for learning Athena. The material for these courses consists of thoughtfully curated excerpts from the Athena book.
The three courses are labelled "Minimal", "Quick" and "Complete".
While the "Complete" sequence is recommended and can be completed in a few days of study, "Minimal" is the fastest way to get started. The "Quick" study sequence is very similar to the "Minimal" sequence, but includes additional material on a core aspect of Athena's semantics (the runtime assumption base), as well as material on a very powerful proof mechanism, implication chaining.
Below is a diagram displaying the dependency tree of the course contents, as well as the lesson sequence depending on the chosen path.
The following links correspond to the numbered entries in the tree above. Each link navigates to a downloadable PDF file.