[logic-ml] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021

[Diego A. Mejía]

---------- Forwarded message ---------
From: Pedro H. Zambrano <phzambranor at gmail.com>
Date: Thu, Aug 19, 2021 at 9:29 AM
Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting
Brazil-Colombia in Logic - December 14-17, 2021
To: logbog <logbog at googlegroups.com>, <logic-list at helsinki.fi>


************************************************************

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


---
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/logic-ml/attachments/20210819/3c6ab613/attachment.htm>