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).
Invited Speakers and Round Tables
![]() |
Eleonora Giunchiglia (Imperial-X, London, UK) Neuro-Symbolic and Generative AI |
![]() |
Guillermo A. Pérez (University of Antwerp, Belgium) Decidable Problems for Partially Observable MDPs |
![]() |
Luca Arnaboldi (University of Birmingham, UK) Formal Methods for Natural Language Processing |
![]() |
Andreea Costea (TU Delft, The Netherlands) Assured Automatic Programming via LLMs |
![]() |
Masaki Waga (Kyoto University, Japan) Soft Pattern Matching: Toward Runtime Verification of NLP Systems |
![]() |
Nora Ammann (Advanced Research and Invention Agency, UK) Safeguarded AI |
![]() |
The travel of our invited speakers was in part supported by The ELSA Mobility Program. |