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