El objetivo de esta escuela es introducir el área de la Computabilidad Matemática. Esta subarea de la Teoría de la Computabilidad estudia la complejidad computacional de las construcciones que normalmente se hacen en matemática. Varias áreas de matemática han sido estudiadas desde este punto de vista, como por ejemplo álgebra, combinatoria, análisis, lógica, y sistemas dinámicos, entre otras.

Tendremos dos mini cursos. En el primero se estudiarán aplicaciones de la complejidad en el álgebra y la combinatoria. En el segundo se estudiará la computabilidad aplicada al análisis y los sistemas dinámicos.

Está dirigida a alumnos de pre y postgrado de Matemáticas, Ingeniería Matemática o Ciencias de la Computación, y también a investigadores que deseen introducirse en el tema. No es necesario tener un conocimiento profundo de lógica o computabilidad para asistir a la escuela.