The DSN 2013 conference offers 3 tutorials:

• Roberto Baldoni:
  Living in a Trustworthy Cyberspace
  (June 24, 13:30-15:00)
• Alexander Romanovsky:
  Correct-by-Construction Development of Dependable Systems
  (June 24, 8:45-18:30)
• Paulo Veríssimo:
  Beyond the Glamour of Byzantine Fault Tolerance – OR why resisting intrusions means more than BFT
  (June 24, 8:45-12:00)

(They are included in the full conference registration, but you may register just for the tutorials, as well.)