| Pre Event Preparation | Getting ready for an event |
| Program Initialisation | All the initialisation choices to be made when ProofStation is run |
| Running the Event | How to run the various types of event in ProofStation |
| Post Event | What to do once the event is completed |
| Practice Sessions | How to run practice sessions to get you familiar with all the features |