Events

Title: Workshop on Automated Formal Reasoning for Trustworthy AI Systems

Description: Mark your calendars for AFRiTS 2023, a premier workshop dedicated to advancing the creation of reliable AI systems through formal methods. Interested participants must complete their abstract registration and submission by September 1, 2023. This event is proudly co-located with the 26th Brazilian Symposium on Formal Methods, taking place in the vibrant city of Manaus, Brazil. Explore cutting-edge discussions in IT & Technology, AI, Security, and more, contributing to our mission of fostering trustworthy computing practices.

Category: Brazil

Tags: IT & Technology, AI, Security, trustworthy, Top 100 in IT & Technology in Brazil, reasoning