<div dir="ltr"><div><h2><strong><font size="2">XXI Latin American Symposium on Mathematical Logic (SLALM 2026)</font></strong></h2>
<p>June 1–5, 2026 — Universidad de los Andes, Bogotá, Colombia</p>
<p>Dear colleagues,</p>
<p>We are pleased to invite you to the <strong>XXI Latin American Symposium on Mathematical Logic (SLALM 2026)</strong>, which will take place at the Universidad de los Andes, in Bogotá, Colombia, from June 1st to June 5th, 2026.</p>
<p>All information about the symposium can be found on the official website:</p><p>
<strong><a rel="noopener" class="gmail-decorated-link" href="https://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$">https://slalm21.uniandes.edu.co/en/</a></strong></p><p>
Registration is <em>free of charge</em>, 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.</p>
<p>The event is supported by the <strong>Association for Symbolic Logic (ASL)</strong>. We encourage participants—especially students—to consult the ASL website for details on available travel grants and other forms of support:</p><p>
<strong><a rel="noopener" class="gmail-decorated-link" href="https://urldefense.com/v3/__https://aslonline.org/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwd2nG8WZ$">https://aslonline.org/<span aria-hidden="true" class="gmail-ms-0.5 gmail-inline-block gmail-align-middle gmail-leading-none"></span></a></strong></p>
<h3><font size="2">Parallel Sessions – SLALM 2026</font></h3>
<ul>
<li>
<p>Set Theory</p>
</li>
<li>
<p>Model Theory</p>
</li>
<li>
<p>Recursion Theory and Computability</p>
</li>
<li>
<p>Algebraic and Non-Classical Logic</p>
</li>
<li>
<p>Philosophical Logic</p>
</li>
<li>
<p>Logic and Computer Science</p>
</li>
</ul>
<p>Submission instructions are available at:<br>
<strong><a rel="noopener" class="gmail-decorated-link" href="https://urldefense.com/v3/__https://slalm21.uniandes.edu.co/en/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwYBhkkMr$">https://slalm21.uniandes.edu.co/en/<span aria-hidden="true" class="gmail-ms-0.5 gmail-inline-block gmail-align-middle gmail-leading-none"></span></a></strong><br>
Please note that submissions must follow the <strong>ASL abstract format</strong>.</p>
<h3><strong>Important Dates</strong></h3>
<ul>
<li>
<p><strong>Deadline for abstract submission:</strong> December 31, 2025</p>
</li>
<li>
<p><strong>Notification of acceptance:</strong> before February 28, 2026</p>
</li>
<li>
<p><strong>Symposium dates:</strong> June 1–5, 2026</p>
</li>
<li>
<p><strong>Deadline for ASL student travel grant applications:</strong> March 1, 2026</p>
</li>
</ul>
<p>We look forward to your contributions and to welcoming you in Bogotá.</p>
<p>Kind regards,</p><p>Elaine, in the name of the Organizing Committee – <i>SLALM 2026</i></p></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr"><div style="border:0px;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"><span style="font-size:9.75pt;font-style:inherit;font-weight:inherit">Elaine. </span><br></div><div style="border:0px;font-stretch:inherit;font-size:medium;line-height:inherit;font-family:"Segoe UI Web (West European)","Segoe UI",-apple-system,"system-ui",Roboto,"Helvetica Neue",sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr">-----------------------------------</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Elaine Pimentel</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Schools Outreach Lead</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline">P<span style="font-style:inherit;font-weight:inherit">rofessor of Logic and Computation</span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline"><span style="font-size:10pt">Deputy Director of the Computer Science and Philosophy programme</span><span style="font-style:inherit;font-weight:inherit"></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Programming Principles, Logic, and Verification </div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Department of Computer Science, Office: Room 3.11, 66-72 Gower Street</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">University College London</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">URL: <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwalEj6cJ$" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)" target="_blank">https://sites.google.com/site/elainepimentel/</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline;direction:ltr"><br></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL Computer Science is an <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwRkH0DuH$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)" target="_blank">Athena Swan Gold award winner for gender equality</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL is ranked among the <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwe6m3dae$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">top ten in the QS World University Rankings 2024</a></u></span> and is winner of <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!VHFiawnZKY6HuaT1n8V0LXc0dfJkEvFi3boebKgdRSApDkdXaW5TmYW1NOJoH0zYff_EzqTjou0ua4hhWNTG438GqCRIhdzKwZPEyer9$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">The Times and Sunday Times University of the Year 2024</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(34,34,34);direction:ltr">-----------------------------------</div></div></div></div></div></div></div></div></div></div>