Events

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