26 - 30 June 2017, 17th Latin American Symposium on Mathematical Logic (SLALM 2017), Puebla, Mexico
The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.
The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.
We welcome submissions on any of the six topic sessions of the symposium: Model Theory, Set Theory, Computability, Proof Theory, Logic and Computer Science, and Philosophy of Logic/ Philosophical Logic/ Non-Classical Logics. All papers must contain original work, and respect the format specified by the LaTeX template provided on the website. Abstracts must not exceed 2 pages.