----- Mensagem encaminhada ----- De: Pedro Hernan Zambrano Ramirez <[email protected]>Para: logbog <[email protected]>; "[email protected]" <[email protected]>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 www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad. -- -- Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" . Para enviar un mensaje, envíe un email a [email protected] Para salir del grupo, envíe un email a [email protected] Para más opciones, visite http://groups.google.com/group/logbog?hl=es --- Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google. Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a [email protected]. Para ver esta conversación en el sitio web, visita https://groups.google.com/d/msgid/logbog/CAMc2pyAz7Bsi%3D-79ze4m-vFZ8iGoyXA3WTdY_mE3C8Lw25LoWg%40mail.gmail.com. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1104693398.282457.1632242016399%40mail.yahoo.com.
