layout | title |
---|---|
default |
events |
- CENTAUR Annual Meeting, August 27, 2024.
- CENTAUR Annual Meeting, August 17, 2023.
- 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.