Horaires
10:00 AM - 05:00 PM (General)
Frais d'entrée
Check Official Website
Participation estimée
100 - 500 Delegates
Type d'événement
Conference
Description
Conférence sur l'Intelligence Artificielle et la Démonstration de Théorèmes 2025
La Conférence sur l'Intelligence Artificielle et la Démonstration de Théorèmes (AITP) est un rassemblement annuel de renom axé sur les avancées les plus récentes en IA, raisonnement automatisé, apprentissage automatique et assistants de preuve. Cette conférence vise à stimuler l'innovation dans l'automatisation du raisonnement, des mathématiques et des sciences.