conference 4

• Talks at DevCon 2024 Nov 15, 2024
• Talk at DeFi Security Summit 2024 Nov 9, 2024
• Invited talk at VSTTE 2024 Oct 15, 2024
• Tutorial at TLA⁺ Community Meeting 2024 Sep 10, 2024