[kisoron-ml] Session of Logic at CLAM 2021 - 15-17 September, 2021. Online event

[Diego A. Mejía]

---------- Forwarded message ---------
From: Pedro H. Zambrano <phzambranor at unal.edu.co>
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 <logbog at googlegroups.com>, <logic-list at helsinki.fi>


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

[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




-- 
Diego A. Mejía (PhD)
Associate Professor
Faculty of Science, Shizuoka University
836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan
Tel: +81-54-2384787
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/kisoron-ml/attachments/20210901/77dbe21d/attachment.htm>