On June 23rd, Prof. Martin Leucker and Daniel Thoma gave a full-day tutorial on the Theory and Practice of Runtime Verification at the Formal Methods conference in Oslo, Norway.
Prof. Martin Leucker giving a tutorial on Runtime Verification at FM 2015