Events

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