El Simposio Latinoamericano de Lógica Matemática(SLALM) 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 sede.

El simposio se lleva a cabo en la Universidad de Costa Rica, en la Facultad de Ciencias, 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.

Puede descargar el programa general en el siguiente enlace: Programa General – SLALM 2022