SLALM 2026 -- deadline approaching!

4 views
Skip to first unread message

Elaine Pimentel

unread,
10:19 AM (6 hours ago) 10:19 AM
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Ricardo Oscar Rodriguez, Pablo Cubides Kovacsics

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/

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/

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 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

-----------------------------------
Reply all
Reply to author
Forward
0 new messages