Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Conference
Descripción
El Simposio de Verificación de IA (SAIV) es un evento de gran prestigio, sucesor de los simposios FoMLAS y WOLVERINE. SAIV fomenta el intercambio de ideas y la colaboración entre expertos en IA y métodos formales.
SAIV 2024 se enorgullece de presentar la 5ª Conferencia Internacional de Verificación, una plataforma esencial para que profesionales e investigadores compartan conocimientos y avances en el campo.
