[TYPES/announce] 1st call for papers: SLALM 2026

[Elaine Pimentel]

*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://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$  <https://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$ >*

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://urldefense.com/v3/__https://aslonline.org/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwd2nG8WZ$  <https://urldefense.com/v3/__https://aslonline.org/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwd2nG8WZ$ >*
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://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$  <https://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$ >*
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 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://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwalEj6cJ$ 

UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwRkH0DuH$ >*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwe6m3dae$ >*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwZPEyer9$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251117/e097462a/attachment-0001.htm>