Fw: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
Samuel Gomes
We apologize for the multiplicities of this message.
************************************************************
CALL FOR CONTRIBUTIONS
1st Meeting Brazil-Colombia in Logic
(1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia)
Online Meeting
Universidad Nacional de Colombia at Bogotá – December 14-17, 2021
https://sites.google.com/unal.edu.co/i-enclogbracol/
No registration fee
************************************************************
The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica).
With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come!
We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond.
Confirmed Plenary Speakers:
*************************
Xavier Caicedo (UniAndes, Bogotá, COL)
Carlos Di Prisco (UniAndes, Bogotá, COL)
Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA)
Francisco Miraglia (IME-USP, São Paulo, BRA)
Carlos Uzcátegui (UIS, Bucaramanga, COL)
Confirmed Invited Speakers:
************************
Rodrigo Freire (UnB, Brasília, BRA)
João Marcos (UFRN, Natal, BRA)
Diego Mejía (Shizuoka University, JAP)
Diana Montoya (University of Vienna, AUT)
Tutorials:
********
Elaine Pimentel (UFRN, Natal, BRA)
Darío Garcia (UniAndes, Bogotá, COL)
The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related to Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics:
· Categorial and Algebraic Logic
· General Logic
· Model Theory
· Non-classical Logics
· Proof Theory
· Set Theory
Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation).
The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages).
The LaTeX template for submissions (for both talks and posters) may be found at
https://www.overleaf.com/read/vftjwhycpgsk
The abstracts of the talks are expected to be 1-3 pages long, including references.
After producing your .pdf file, you will be asked to upload it at
https://forms.gle/Smwgv7kwLakSWTy7A
The deadline for submissions is
September 24, 2021
Accepted talks and posters will be announced on
October 22, 2021
More information may be found at our page:
https://sites.google.com/unal.edu.co/i-enclogbracol/
Scientific and Organizing Committee:
Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA)
Hugo L. Mariano (IME-USP, São Paulo, BRA)
Ciro Russo (UFBA, Salvador de Bahia, BRA)
Samuel G. da Silva (UFBA, Salvador de Bahia, BRA)
Andrés Villaveces (UNAL, Bogotá, COL)
Pedro H. Zambrano (UNAL, Bogotá, COL)
Partners:
Sociedad Colombiana de Matemáticas
Sociedade Brasileira de Lógica
Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consultar en la página web www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad.
--
--
Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog
Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" .
Para enviar un mensaje, envíe un email a log...@googlegroups.com
Para salir del grupo, envíe un email a logbog-un...@googlegroups.com
Para más opciones, visite http://groups.google.com/group/logbog?hl=es
---
Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google.
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a logbog+un...@googlegroups.com.
Para ver esta conversación en el sitio web, visita https://groups.google.com/d/msgid/logbog/CAMc2pyAz7Bsi%3D-79ze4m-vFZ8iGoyXA3WTdY_mE3C8Lw25LoWg%40mail.gmail.com.