callforcontributions

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