Dear colleagues, It is our pleasure to invite you to attend the 4th ECUMENICAL meeting, organised as part of our Leverhulme Trust project, in collaboration with the Scandinavian Logic Society (SLS).
Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. The Leverhulme Trust ECUMENICAL project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the meaning of logical statements is understood in terms of proofs rather than traditional truth-based models. The ECUMENICAL Pt-S approach seeks to provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them and enabling novel methodologies in the study of logic. The workshop will be hosted in Stockholm from 18 to 20 February 2026, with online only participation available. The invited speakers are: - Dag Prawitz (Stockholm University) - Dale Miller (Inria Saclay) - Rosalie Iemhoff (Utrecht University) - Sebastian Enqvist (Stockholm University) - Sara Negri (University of Genoa) - Gilda Ferreira (Universidade Aberta / CEMS.UL) - Paulo Oliva (Queen Mary University of London) - Cristina Sernadas (Instituto Superior Técnico, University of Lisbon) - João Rasga (Instituto Superior Técnico, University of Lisbon) - Tor Sandqvist (KTH Royal Institute of Technology, Stockholm) - Antonio Piccolomini D’Aragona (University of Tübingen) - Iris van der Giessen (University of Amsterdam) - Jan von Plato (University of Helsinki) - Carlos Olarte (Université Sorbonne Paris Nord) - Tiago de Castro Alves (UERJ) Event details: Dates: 18–20 February 2026 Format: Online participation only (hosted in Stockholm) Webpage: https://sites.google.com/view/ecumenical-4th-meeting/ Registration If you would like to attend, please register via the form: https://forms.office.com/e/6e7iXXPFES The Zoom link will be sent to registered participants closer to the event. We hope to see you there! Best regards, Valentin Goranko Luiz Carlos Pereira David Pym Victor Barroso-Nascimento Elaine Pimentel -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Professor of Logic and Computation Deputy Director of the Computer Science and Philosophy programme Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXLd6jYVzSoB%3Dq0cAMLAHUQ9rk-B7f0zmjgv3cXu7EnOA%40mail.gmail.com.
