Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Conference
Description
Le Symposium sur la Vérification de l'IA (SAIV) est un événement renommé de ce genre, succédant aux symposiums FoMLAS et WOLVERINE. Le SAIV encourage l'échange d'idées et la collaboration entre experts en IA et méthodes formelles.
SAIV 2024 présente fièrement la 5ème Conférence Internationale de Vérification, une plateforme essentielle pour les professionnels et chercheurs afin de partager leurs connaissances et avancées dans le domaine.
