*XXI Latin American Symposium on Mathematical Logic (SLALM 2026)* June 1–5, 2026 — Universidad de los Andes, Bogotá, Colombia
Dear colleagues, We are pleased to invite you to the *XXI Latin American Symposium on Mathematical Logic (SLALM 2026)*, which will take place at the Universidad de los Andes, in Bogotá, Colombia, from June 1st to June 5th, 2026. All information about the symposium can be found on the official website: *https://slalm21.uniandes.edu.co/en/ <https://slalm21.uniandes.edu.co/en/>* Registration is *free of charge*, but all participants are required to register via the form available on the website. Through the same form, you may also submit abstracts for contributed talks in the various parallel sessions. The event is supported by the *Association for Symbolic Logic (ASL)*. We encourage participants—especially students—to consult the ASL website for details on available travel grants and other forms of support: *https://aslonline.org/ <https://aslonline.org/>* Parallel Sessions – SLALM 2026 - Set Theory - Model Theory - Recursion Theory and Computability - Algebraic and Non-Classical Logic - Philosophical Logic - Logic and Computer Science Submission instructions are available at: *https://slalm21.uniandes.edu.co/en/ <https://slalm21.uniandes.edu.co/en/>* Please note that submissions must follow the *ASL abstract format*. *Important Dates* - *Deadline for abstract submission:* December 31, 2025 - *Notification of acceptance:* before February 28, 2026 - *Symposium dates:* June 1–5, 2026 - *Deadline for ASL student travel grant applications:* March 1, 2026 We look forward to your contributions and to welcoming you to Bogotá. Kind regards, Elaine, in the name of the Organizing Committee – *SLALM 2026* -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Professor of Logic and Computation Deputy Director of the Computer Science and Philosophy programme Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVVqt4i-mNTea0Wp-CibuzQa%2BLXPigUrozTzkEgLFwdxQ%40mail.gmail.com.
