<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <b class="gmail_sendername" dir="auto">Pedro H. Zambrano</b> <span dir="auto"><<a href="mailto:phzambranor@unal.edu.co">phzambranor@unal.edu.co</a>></span><br>Date: Wed, Sep 1, 2021 at 12:10 AM<br>Subject: [LOGBOG: 1004] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event<br>To: logbog <<a href="mailto:logbog@googlegroups.com">logbog@googlegroups.com</a>>,  <<a href="mailto:logic-list@helsinki.fi">logic-list@helsinki.fi</a>><br></div><br><br><div dir="ltr">--------------------------------------------<br><div class="gmail_quote">
<br>
[Please circulate! We apologize for any cross-postings]<br>
<br>
Session of Logic at CLAM 2021<br>
Online, September 15-17, 2021<br>
<a href="https://clam2021.cmat.edu.uy/" rel="noreferrer" target="_blank">https://clam2021.cmat.edu.uy/</a><br>
<br>
The 6th Latin American Congress of Mathematicians (CLAM 2021) will be<br>
held online from 13 September to 17 September, 2021.<br>
A session of logic "Lógica Matemática"  will take place as part of the<br>
congress, from 15 September to 17 September, 2021 (15:00 to 18:15<br>
UTC-3).<br>
The Program of the session of logic is the following:<br>
<br>
PROGRAM  (UTC-3)<br>
<br>
Day 1 - Wednesday 15 September<br>
<br>
15:00-15:45 Hugo Luiz Mariano (Universidade de São Paulo - USP, Brazil)<br>
"Filter pairs and natural extensions of logics"<br>
<br>
15:45-16:30 Rodolfo C. Ertola-Biraben (Universidade Estadual de<br>
Campinas - UNICAMP, Brazil)<br>
"Distributivity, Modularity, and Natural Deduction"<br>
<br>
16:45-17:30 María Paula Menchón (Universidad Nacional del Centro de la<br>
Provincia de Buenos Aires - UNICEN, Argentina)<br>
"A topological duality for monotone expansions of semilattices"<br>
<br>
17:30-18:15 Nick Galatos (University of Denver, USA)<br>
"Interpolation and Beth definability for conic idempotent Full Lambek calculus"<br>
<br>
-------------------------------------------------<br>
<br>
Day 2 - Thursday 16 September<br>
<br>
15:00-15:45 Carles Noguera (Czech Academy of Sciences, Czech Republic)<br>
"Lindström theorems in graded model theory"<br>
<br>
15:45-16:30 José Patricio Díaz Varela (Universidad Nacional del Sur -<br>
UNS, Argentina)<br>
"Completitud estándar fuerte (fuerte finita) para lógicas de<br>
S5-modales de Łukasiewicz"<br>
<br>
16:45-17:30 Xavier Caicedo (Universidad de los Andes - Uniandes, Colombia)<br>
"Locally pseudocomplemented abelian ℓ-groups"<br>
<br>
----------------------------------------------------<br>
<br>
Day 3 - Friday 17 September<br>
<br>
15:00-15:45 Xavier Vidaux (Universidad de Concepción - UdeC, Chile)<br>
"Hilbert's tenth problem in rings of meromorphic functions"<br>
<br>
15:45-16:30 Rodrigo de Alvarenga Freire (Universidade de Brasília - UnB, Brazil)<br>
"Embeddability between orderings and GCH"<br>
<br>
16:45-17:30 Alexander Berenstein (Universidad de los Andes - Uniandes, Colombia)<br>
"Existentially closed measure preserving actions of the free group."<br>
<br>
------------------------------------------------------<br>
<br>
REGISTRATION<br>
Participation in the congress will be free-of-charge, but registration<br>
is mandatory.<br>
The registration form is here:<br>
<a href="https://clam2021.cmat.edu.uy/registrarse" rel="noreferrer" target="_blank">https://clam2021.cmat.edu.uy/registrarse</a><br>
***Please register until September 5th**<br>
<br>
<br>
More information will be available here:<br>
<a href="https://clam2021.cmat.edu.uy/" rel="noreferrer" target="_blank">https://clam2021.cmat.edu.uy/</a><br>
<br>
We hope to meet you at the CLAM 2021.<br>
All the best,<br>
<br>
Manuela Busaniche and Marcelo Coniglio<br>
Organizers of the session "Lógica Matemática"<br>
CLAM 2021</div><div class="gmail_quote"><br></div><div class="gmail_quote"><div><br clear="all"><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div><span><div><div dir="ltr"><div><div dir="ltr"><div><div><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">---<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Pedro ZAMBRANO<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Associate Professor<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Department of Mathematics<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Universidad Nacional de Colombia</div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Bogota, Colombia<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">PBX + 57 1 316 5000 ext. 13163<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)"><a href="https://sites.google.com/a/unal.edu.co/phzambranor" target="_blank">sites.google.com/a/unal.edu.co/phzambranor</a></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</div></div>

<p></p><br>
</div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><span><div><div dir="ltr"><div><div>Diego A. Mejía (PhD)<br></div><div>Associate Professor<br></div>Faculty of Science, Shizuoka University<br></div><div>836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan<br></div><div>Tel: +81-54-2384787</div></div></div></span></div></div></div>