Descripción General

El Simposio Latinoamericano de Lógica Matemática es la reunión más grande de expertos en Lógica Matemática en América Latina. Este evento que se lleva a cabo periódicamente ha servido para reforzar la lógica matemática en el continente. Cada iteración es organizada por un país distinto y Costa Rica fue escogido para ser la próxima sede.


El simposio se llevará a cabo en la Universidad de Costa Rica, sede Rodrigo Facio del 26 al 30 de julio del 2022 y se espera contar con la participación de entre 100 y 150 participantes incluyendo profesores(as) y estudiantes tanto nacionales como extranjeros.


Este evento abarca las principales áreas de la Lógica Matemática tales como Teoría de Modelos, Teoría de Conjuntos, Informática Teórica, Computabilidad, Complejidad, Teoría de Pruebas y Lógicas no Clásicas. En el simposio se impartirán diversas charlas plenarias, sesiones paralelas en distintas áreas y además se desarrollarán mini cursos que abarquen temas actuales de investigación dentro de diversas áreas de la Lógica
Matemática.