AI Verification in the Wild
VerifAI-2: The Second Workshop on AI Verification in the Wild - 2026
In conjunction with
International Conference on Learning Representations 2026
Rio de Janeiro
Advances formal verification, testing, and certification of AI systems for safety-critical real-world deployments.
Hotels near Riocentro Convention and Event Center
Ibis Rio de Janeiro Barra da Tijuca
Avenida Pepe 56, Barra da Tijuca
LSH Hotel
Av. Lucio Costa 1996, Barra da Tijuca
Radisson Hotel Barra Rio de Janeiro
Av. Evandro Lins e Silva 600, Barra da Tijuca
Royalty Barra Hotel
Av. Do Pepe 690, Barra da Tijuca
Sol da Barra Apart Hotel
Avenida Lucio Costa 880, Barra da Tijuca
Windsor Oceanico Hotel
Rua Martinho de Mesquita 129, Barra da Tijuca
Wyndham Rio Barra
Avenida Lucio Costa 3150, Barra da Tijuca