Logic List Mailing Archive
CfR: 4th ECUMENICAL Meeting, 18–20 February 2026, Stockholm (Sweden) & Online
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 Tcnico, University of Lisbon)
- Joo Rasga (Instituto Superior Tcnico, University of Lisbon)
- Tor Sandqvist (KTH Royal Institute of Technology, Stockholm)
- Antonio Piccolomini DAragona (University of Tbingen)
- 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: 1820 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>
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php