Magma:

• Introductory slides and examples on Magma: Slides, examples 1, examples 2, examples 3. 
• The examples can be tried in the Magma online calculator.
  

Pairings:

• Minicourse on pairings, covering most topics, with proof sketches: Slides