VERIFAI-2026: The Interplay between Artificial Intelligence and Software Verification

AI has already revolutionized the way we approach software development; and we are still at the beginning.

This conference invites submissions addressing, though not exclusively, the following areas: verification of ai software, vibe coding, ai generated specification and implementation and ai generated proofs.