- Mensagem encaminhada - De: Pedro Hernan Zambrano Ramirez
Para: logbog ;
"logic-l...@helsinki.fi" Enviado: terça-feira, 21 de
setembro de 2021 08:36:57 AMTAssunto: [LOGBOG: 1008] Deadline for
contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December
14-17, 2021
We apologize for the multiplicities of this message.
CALL FOR CONTRIBUTIONS
1st Meeting Brazil-Colombia in Logic
(1o. Enc(ue-o)ntro de LogicaBrasil-Col(o-ô)mbia)
Online Meeting
Universidad Nacional deColombia at Bogotá – December 14-17, 2021
https://sites.google.com/unal.edu.co/i-enclogbracol/
No registration fee
The mathematical logic interactions between Colombianand Brazilian logicians
have been strong for a long time and have a history offriendships and
collaborations that go back several decades, and this wasaccomplished through
(but not exclusively by) many SLALMs (SimposiosLatino-Americano de
Logica-Matematicas) and EBLs (Encontros Brasileiros deLógica).
With this "First Meeting Brazil-Colombia inLogic", we intend to initiate a new
institutional phase of collaborationsand exchange of experiences in areas
involving Foundations of Mathematicsbetween researchers and students from
Brazil and Colombia: we hope this is thefirst of many events in the years to
come!
We are very glad to see some of the personages thathave created this profound
and rich interaction between Colombian and Brazilianlogicians will be present
in this meeting and that another generation ofresearchers and students have
manifested its intention of carrying out andstrengthening 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 InvitedSpeakers:
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) welcomessubmissions of 25 minutes talks
(20 minutes presentation + 5 minutesquestions). We will accept submissionsfrom
all areas related to Logic (including Mathematical Logic, Philosophy
andComputer Science). To facilitate the organization, the authors will be asked
todeclare whether the submitted work belongs to one of the following topics:
· Categorialand Algebraic Logic
· GeneralLogic
· ModelTheory
· Non-classicalLogics
· ProofTheory
· SetTheory
Depending on the number of accepted submissions, the authors may be required
to pre-recordtheir talks (sending us an editable link of the recording).
Students(undergrads and grads) are encouraged to submit posters (10
minutespresentation).
The languages of the meeting are: English, Spanish,Portuguese (we recommend the
slides to be in English, but talks may bedelivered in any of the mentioned
languages).
The LaTeX template for submissions (for both talks andposters) may be found at
https://www.overleaf.com/read/vftjwhycpgsk
The abstracts of the talks are expected to be 1-3 pages long,
includingreferences.
After producing your .pdf file, you will be asked toupload it at
https://forms.gle/Smwgv7kwLakSWTy7A
The deadline for submissions is
September24, 2021
Accepted talks and posters will be announced on
October22, 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 deMatemáticas
Sociedade Brasileira deLógica
---
Pedro ZAMBRANO
Associate Professor
Department of Mathematics
Universidad Nacional de ColombiaBogota, Colombia
PBX + 57 1 316 5000 ext. 13163
sites.google.com/a/unal.edu.co/phzambranor
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
