Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Workshop
Descripción
Título: Taller sobre Razonamiento Formal Automatizado para Sistemas AI Confiables
Descripción: Marquen sus calendarios para AFRiTS 2023, un taller de primer nivel dedicado a avanzar en la creación de sistemas de inteligencia artificial confiables mediante métodos formales. Los participantes interesados deben completar su registro de resumen y envío antes del 1 de septiembre de 2023. Este evento se lleva a cabo orgullosamente junto con el 26º Simposio Brasileño sobre Métodos Formales, que tiene lugar en la vibrante ciudad de Manaus, Brasil. Explore discusiones de vanguardia en IT & Tecnología, IA, Seguridad, y más, contribuyendo a nuestra misión de fomentar prácticas de computación confiables.
Categoría: Brasil
Etiquetas: IT & Tecnología, IA, Seguridad, confiable, Top 100 en IT & Tecnología en Brasil, razonamiento