The following presentations from conferences and workshops are available for download:

• MEMOCODE2012:  Symbolic Tools for Program Proving
• SVARM2013: Logic as the Lingua Franca of Software Verification