Logic List Mailing Archive

CfP: XXI Latin American Symposium on Mathematical Logic (SLALM 2026), 1–5 June 2026, Bogotá (Colombia)

XXI Latin American Symposium on Mathematical Logic (SLALM 2026)

June 15, 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/

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 participantsespecially studentsto consult the ASL website for details on available travel grants and other forms of support:

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/
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 15, 2026
  *   Deadline for ASL student travel grant applications: March 1, 2026

We look forward to your contributions and to welcoming you in 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>
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php