El taller Lean for the Curious Mathematician 2022 se celebrará del 11 al 15 de julio en el ICERM, Providence, Rhode Island. Expertos en el programa Lean explicarán cómo formalizar fragmentos de la teoría de los números, la topología, la geometría, el análisis y el álgebra de un modo accesible a los matemáticos sin una preparación específica en sistemas formales de demostración. El material cubierto abarca desde las matemáticas de pregrado hasta la investigación moderna. Se invitará a los participantes para comenzar a formalizar los objetos matemáticos de su propia investigación. La fecha límite para inscribirse es el 1 de marzo.
Fallo del V Premio UAL-RSME al mejor Trabajo Fin de Grado del Grado en Matemáticas
Se ha dado a conocer el fallo de la quinta edición del Premio UAL-RSME al mejor Trabajo Fin de Grado del Grado en Matemáticas, convocado
