<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <b class="gmail_sendername" dir="auto">Pedro H. Zambrano</b> <span dir="auto"><<a href="mailto:phzambranor@gmail.com">phzambranor@gmail.com</a>></span><br>Date: Thu, Aug 19, 2021 at 9:29 AM<br>Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021<br>To: logbog <<a href="mailto:logbog@googlegroups.com">logbog@googlegroups.com</a>>, <<a href="mailto:logic-list@helsinki.fi">logic-list@helsinki.fi</a>><br></div><br><br><div dir="ltr"><div style="font-family:tahoma,sans-serif;font-size:small;color:#000099"><p>************************************************************</p>
<p>CALL FOR CONTRIBUTIONS</p>
<p>1st Meeting Brazil-Colombia in Logic</p>
<p>(1o. Enc(ue-o)ntro de Logica
Brasil-Col(o-ô)mbia)</p>
<p>Online Meeting</p>
<p>Universidad Nacional de
Colombia at Bogotá – December 14-17, 2021</p>
<p><a href="https://sites.google.com/unal.edu.co/i-enclogbracol/" target="_blank">https://sites.google.com/unal.edu.co/i-enclogbracol/</a></p>
<p>No registration fee</p>
<p>************************************************************</p>
<p> </p>
<p>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).</p>
<p>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!</p>
<p>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.</p>
<p> </p>
<p>Confirmed Plenary Speakers:</p>
<p>*************************</p>
<p> </p>
<p>Xavier Caicedo (UniAndes, Bogotá, COL)</p>
<p>Carlos Di Prisco
(UniAndes, Bogotá, COL)</p>
<p>Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA)</p>
<p>Francisco Miraglia
(IME-USP, São Paulo, BRA)</p>
<p>Carlos Uzcátegui (UIS,
Bucaramanga, COL)</p>
<p> </p>
<p>Confirmed Invited
Speakers:</p>
<p>************************</p>
<p> </p>
<p>Rodrigo Freire (UnB,
Brasília, BRA)</p>
<p>João Marcos (UFRN,
Natal, BRA)</p>
<p>Diego Mejía (Shizuoka University, JAP)</p>
<p>Diana Montoya (University of Vienna, AUT)</p>
<p> </p>
<p>Tutorials:</p>
<p>********</p>
<p> </p>
<p>Elaine Pimentel (UFRN,
Natal, BRA)</p>
<p>Darío Garcia (UniAndes, Bogotá, COL) </p>
<p> </p>
<p>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:</p>
<p>·
Categorial
and Algebraic Logic</p>
<p>·
General
Logic</p>
<p>·
Model
Theory</p>
<p>·
Non-classical
Logics</p>
<p>·
Proof
Theory</p>
<p>·
Set
Theory</p>
<p>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). </p>
<p>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). </p>
<p>The LaTeX template for submissions (for both talks and
posters) may be found at </p>
<p><a href="https://www.overleaf.com/read/vftjwhycpgsk" target="_blank">https://www.overleaf.com/read/vftjwhycpgsk</a></p>
<p>The abstracts of the talks are expected to be 1-3 pages long, including
references.</p>
<p>After producing your .pdf file, you will be asked to
upload it at </p>
<p><a href="https://forms.gle/Smwgv7kwLakSWTy7A" target="_blank">https://forms.gle/Smwgv7kwLakSWTy7A</a></p>
<p> </p>
<p> </p>
<p>The deadline for submissions is</p>
<p> September
24, 2021</p>
<p> </p>
<p>Accepted talks and posters will be announced on</p>
<p> October
22, 2021</p>
<p> </p>
<p>More information may be found at our page:</p>
<p> </p>
<p><a href="https://sites.google.com/unal.edu.co/i-enclogbracol/" target="_blank">https://sites.google.com/unal.edu.co/i-enclogbracol/</a></p>
<p> </p>
<p>Scientific and Organizing Committee:</p>
<p> </p>
<p>Marcelo Coniglio
(IFCH-Unicamp, Campinas, BRA)</p>
<p>Hugo L. Mariano
(IME-USP, São Paulo, BRA)</p>
<p>Ciro Russo (UFBA,
Salvador de Bahia, BRA)</p>
<p>Samuel G. da Silva
(UFBA, Salvador de Bahia, BRA)</p>
<p>Andrés Villaveces
(UNAL, Bogotá, COL)</p>
<p>Pedro H. Zambrano
(UNAL, Bogotá, COL)</p>
<p> </p>
<p>Partners:</p>
<p> </p>
<p>Sociedad Colombiana de
Matemáticas</p>
<p>Sociedade Brasileira de
Lógica</p><p><br></p></div><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">---<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Pedro ZAMBRANO<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Associate Professor<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Department of Mathematics<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Universidad Nacional de Colombia</div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">Bogota, Colombia<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)">PBX + 57 1 316 5000 ext. 13163<br></div><div style="font-family:tahoma,sans-serif;font-size:small;color:rgb(0,0,153)"><a href="https://sites.google.com/a/unal.edu.co/phzambranor" target="_blank">sites.google.com/a/unal.edu.co/phzambranor</a></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
<p></p>-- <br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><span><div><div dir="ltr"><div><div>Diego A. Mejía (PhD)<br></div><div>Associate Professor<br></div>Faculty of Science, Shizuoka University<br></div><div>836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan<br></div><div>Tel: +81-54-2384787</div></div></div></span></div></div></div>