9th International Symposium on AI Verification (SAIV 2026)

About this event

The Symposium on AI Verification focuses on the formal reasoning of learning systems, tackling critical challenges including the verification of neural networks and safeguards for machine learning algorithms. It serves as a meeting point for researchers in formal methods and artificial intelligence, facilitating a rich exchange of ideas. Attendees can expect invited speakers, round tables, and networking opportunities, especially as SAIV 2026 is co-located with the Federated Logic Conference.