Cristian Cadar – Testing and Analysis in the AI Era
Date:
Keynote at the 27th International Symposium on Formal Methods (FM 2026). View the presentation slides.
- Singapore
- Imperial, NUS, SMU, ETHZ, MIT
Date:
Keynote at the 27th International Symposium on Formal Methods (FM 2026). View the presentation slides.