Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Workshop
Description
Titre : Atelier sur le Raisonnement Formel Automatisé pour des Systèmes IA Fiables
Description : Marquez vos calendriers pour AFRiTS 2023, un atelier de premier plan dédié à l'avancement de la création de systèmes IA fiables par des méthodes formelles. Les participants intéressés doivent compléter leur inscription et soumission de résumé avant le 1er septembre 2023. Cet événement est fièrement situé en parallèle avec le 26ème Symposium Brésilien sur les Méthodes Formelles, ayant lieu dans la ville vibrante de Manaus, Brésil. Explorez des discussions de pointe en IT & Technologie, IA, Sécurité, et plus encore, contribuant à notre mission de favoriser des pratiques informatiques fiables.
Catégorie : Brésil
Mots-clés : IT & Technologie, IA, Sécurité, fiable, Top 100 en IT & Technologie au Brésil, raisonnement