Logic List Mailing Archive

CfP: SLALM 2026 – XXI Latin American Symposium on Mathematical Logic, 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 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>
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php