Prezados colegas, Resolvemos abrir o evento para participação remota. Segue o anúncio:
Dear colleagues, On March 2-3 we will have the first of what we are calling "ecumenical meetings". Ecumenical systems refer, in a broad sense, to proof systems for combining logics. This series of meetings aims at discussing the basics about logic, proof systems and their combination. The webpage with more information can be accessed here: https://sites.google.com/view/ecumenicalmeeting/home Please register if you plan to attend: https://forms.gle/2LP2xomSLAPtFbgT7 The event will be broadcasted live but not recorded. Best regards, -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXAVLxbv0k7X1FR7s5xqSY1br8PUmdo8EU6u183QHA3HA%40mail.gmail.com.
