[Please circulate! We apologize for any cross-postings]

Session of Logic at CLAM 2021
Online, September 15-17, 2021
https://clam2021.cmat.edu.uy/

The 6th Latin American Congress of Mathematicians (CLAM 2021) will be
held online from 13 September to 17 September, 2021.
A session of logic "Lógica Matemática"  will take place as part of the
congress, from 15 September to 17 September, 2021 (15:00 to 18:15
UTC-3).
The Program of the session of logic is the following:

PROGRAM  (UTC-3)

Day 1 - Wednesday 15 September

15:00-15:45 Hugo Luiz Mariano (Universidade de São Paulo - USP, Brazil)
"Filter pairs and natural extensions of logics"

15:45-16:30 Rodolfo C. Ertola-Biraben (Universidade Estadual de
Campinas - UNICAMP, Brazil)
"Distributivity, Modularity, and Natural Deduction"

16:45-17:30 María Paula Menchón (Universidad Nacional del Centro de la
Provincia de Buenos Aires - UNICEN, Argentina)
"A topological duality for monotone expansions of semilattices"

17:30-18:15 Nick Galatos (University of Denver, USA)
"Interpolation and Beth definability for conic idempotent Full Lambek calculus"

-------------------------------------------------

Day 2 - Thursday 16 September

15:00-15:45 Carles Noguera (Czech Academy of Sciences, Czech Republic)
"Lindström theorems in graded model theory"

15:45-16:30 José Patricio Díaz Varela (Universidad Nacional del Sur -
UNS, Argentina)
"Completitud estándar fuerte (fuerte finita) para lógicas de
S5-modales de Łukasiewicz"

16:45-17:30 Xavier Caicedo (Universidad de los Andes - Uniandes, Colombia)
"Locally pseudocomplemented abelian ℓ-groups"

----------------------------------------------------

Day 3 - Friday 17 September

15:00-15:45 Xavier Vidaux (Universidad de Concepción - UdeC, Chile)
"Hilbert's tenth problem in rings of meromorphic functions"

15:45-16:30 Rodrigo de Alvarenga Freire (Universidade de Brasília - UnB, Brazil)
"Embeddability between orderings and GCH"

16:45-17:30 Alexander Berenstein (Universidad de los Andes - Uniandes, Colombia)
"Existentially closed measure preserving actions of the free group."

------------------------------------------------------

REGISTRATION
Participation in the congress will be free-of-charge, but registration
is mandatory.
The registration form is here:
https://clam2021.cmat.edu.uy/registrarse
***Please register until September 5th**


More information will be available here:
https://clam2021.cmat.edu.uy/

We hope to meet you at the CLAM 2021.
All the best,

Manuela Busaniche and Marcelo Coniglio
Organizers of the session "Lógica Matemática"
CLAM 2021