General Description


General Description

The Latin American Symposium on Mathematical Logic (Simposio Latinoamericano de Lógica Matemática, or SLALM) started in the late 1960's, with the enthusiastic support of Abraham Robinson, who was then President of the Association for Symbolic Logic (ASL). It gathers the community of researchers in Logic from all Latin America and counts with the participation of leading researchers from all over the world. It exists thanks to the support of the ASL and of the local institutions organizing the event. 

This event, which takes place periodically, has served to reinforce mathematical logic on the continent. Previous SLALM´s have been organized in: Chile, Brasil, Colombia, Venezuela, Argentina, Costa Rica, and Mexico. Costa Rica has been chosen to be the next host country.

This symposium covers practically all areas of mathematical logic including Model Theory, Set Theory, Computability, Non-classical logics, Algebraic Logic, Proof Theory and History and Philosophy of Logic.