---------- Forwarded message --------- From: Pedro H. Zambrano [email protected] Date: Wed, Sep 1, 2021 at 12:10 AM Subject: [LOGBOG: 1004] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event To: logbog [email protected], [email protected]
--------------------------------------------
[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
--- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de Colombia Bogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor