05 Dec 2023
Workshop
Check Official Website
Workshop on Automated Formal Reasoning for Trustworthy AI Systems
Timings
09:00 AM-06:00 PM (expected)
Entry Fees
Check Official Website
Estimated Turnout
Delegates
Event type
Workshop
Event Details:
- Date: 05 Dec 2023
- Time: 09:00 AM-06:00 PM (expected)
- Location: Brazil , Manaus
- Type: Workshop
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
Highlights
No highlights available for this event.
Event Location
Open in Google Maps
View the event location on the map or open the route in Google Maps.