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 informations can be accessed here: https://sites.google.com/view/ecumenicalmeeting/home Please feel free to register if you plan to attend. The event will be local, live and with no recording of any kind. The second meeting will take place in Buenos Aires, as part of CLMPST 2023. 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%2BUPF5kzg_ob9JZ5h2dqrUH33sWPOqwo%3D%2Bxs2LXstu9inQ%40mail.gmail.com.
