Past

• Formal Reasoning about Financial Systems Workshop, September 1, 2022, [video]
• Certora Prover 2 Day Workshop, August 29-30, 2022, [video]
• CENTAUR Annual Meeting, July 13, 2022.