• Salón G101 "Diego Bricio", CIMAT Guanajuato

13:00-14:00 horas. Un modelo formal de aprendizaje y lógica matemática

Carlos Alfonso Ruiz Guido (Oxford University / Escuela Bourbaki)

Resumen: Comenzaré explicando algunas de las cualidades de Support Vector Machines y Boosting para motivar el estudio de aquellas funciones que son PAC learnable y por qué podemos garantizar su aprendizaje. Al final hablaré de la relación entre estas ideas y la Teoría de Modelos geométrica (à la Shelah), si el tiempo lo permite explicaré algunas generalizaciones de estas ideas.