Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| VERIFAI-2026 | The Interplay between Artificial Intelligence and Software Verification | Villebrumier, France | December 20, 2025 | March 8, 2026 | verification of ai software vibe coding ai generated specification and implementation ai generated proofs | ![]() |

.