The 8th International Symposium on AI Verification in Zagreb on July 21–22, 2025

---

Formal reasoning about learning systems presents novel, challenging, and exciting problems, including but not limited to the verification of neural networks and the development of safeguards for machine learning algorithms. The Symposium on AI Verification brings together researchers from the fields of formal methods and artificial intelligence, providing a platform for the exchange of ideas and cross-pollination of insights on these critical areas.

SAIV 2025 will be co-located with the 37th International Conference on Computer Aided Verification in Zagreb, Croatia.

SAIV 2025 will host the 6th International Verification of Neural Networks Competition (VNN-COMP’25).