Horarios
10:00 AM - 05:00 PM (General)
Tarifas de Entrada
Check Official Website
Participación estimada
100 - 500 Delegates
Tipo de evento
Conference
Descripción
Conferencia sobre Inteligencia Artificial y Demostración de Teoremas 2025
La Conferencia sobre Inteligencia Artificial y Demostración de Teoremas (AITP) es una reconocida reunión anual enfocada en los últimos avances en IA, razonamiento automatizado, aprendizaje automático y asistentes de demostración. Esta conferencia tiene como objetivo impulsar la innovación en la automatización del razonamiento, las matemáticas y la ciencia.