[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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcn%2BRtn1CxOjXZs%3D29479QYN2xSr4j2N4wN03PyWbR9-jGQ%40mail.gmail.com.
