- A version of this presentation was given at IIT Bombay by Mate Soos on the Dec 12, 2023 slides
- A version of this presentation was given at the Berlin Ethereum meetup on Oct 25, 2023. slides video
- A version of this presentation was given at CAV'2024, Montreal, Canada slides
- A version of this presentation was given at DevCon 2024, Bangkok, Thailand slides
- A version of this presentation was given at BSA Blockchain Student Association Conference on the 7th of March 2025, EPFL, Lausanne, Switzerland slides
- A version of this presentation was given at the 2025 Dagstuhl seminar on Testing Program Analyzers and Verifiers, in Dagstuhl, Germany slides
- A version of this presentation was given at W3ST (Web3 Security Tools) 2025, in Buenos Aires, Argentina slides