[Logica-l] Dia Mundial da Lógica no Rio de Janeiro - Terceira Edição

http://www.logica-universalis.org/wld3-rio-de-janeiro 14 de Janeiro 2021 18h30-21h00 on-line - 5 palestras -- 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 par

[Logica-l] Logic World Day 2021 @ CLE

Prezados(as) colegas No dia 14 de janeiro das 14 às 16:30 (horário de Brasília), celebrando o Dia Mundial da Lógica, teremos uma série de palestras curtas ministradas por pesquisadores vinculados ao Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. Vários dos pesquisadores vã

[Logica-l] Supergroup BLAST!

Dear Cheerful Logicians and Friends of Logic, Welcome back! Happy new year! The first Supergroup BLAST of 2021 lands, as it turns out, on the week of World Logic Day. From the looks of it, this is being quite broadly celebrated. I'll announce a few of the goings-on related to this that folks have

[Logica-l] Fwd: Online seminars series: "It's impossible! Contemporary and historical perspectives on the logic and epistemology of modality"

-- Forwarded message - Dear colleagues, we are very pleased to announce a new series of online seminars that will take place from January to June 2021, dedicated to the logic and epistemology of impossibility, from a historical and contemporary perspective. You may find a compreh

[Logica-l] Fwd: Dia Mundial da Lógica e prémio Amílcar Sernadas

-- Forwarded message - Dia Mundial da Lógica e Prémio Amílcar Sernadas O dia 14 de janeiro foi declarado pela UNESCO como o Dia Mundial da Lógica. Este ano iremos celebrar este dia com uma apresentação dos trabalhos dos vencedores da primeira edição do Prémio Amílcar Sernadas. A c

[Logica-l] Fwd: GSCL XXII: Graduate Student Conference in Logic, virtual, 20-21 Mar 2021

-- Forwarded message - GSCL XXII The 22nd annual Graduate Student Conference in Logic Date of GSCL XXII: March 20 & 21, 2021 Excited to announce that UIUC is (virtually) hosting the 22nd annual Graduate Student Conference in Logic on March 20 & 21! Please spread the word, and regi

[Logica-l] Concurso para Fundamentos da Computação - Chapecó / SC

Prezadas e prezados, Divulgo aqui concurso para diversas áreas, dentre elas a de Fundamentos da Computação. A vaga é de dedicação exclusiva na Universidade Federal da Fronteira Sul (UFFS), *campus *Chapecó (SC). Talvez seja do interesse de algumas pessoas desta lista: https://www.uffs.edu.br/UFFS

[Logica-l] LFMTP 2021 - 1st call for papers

= Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2021 Pittsburgh, USA, 16 July 2021 Affiliated with