[TYPES/announce] 4th ECUMENICAL meeting @ Stockholm

[Elaine Pimentel]

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://urldefense.com/v3/__https://sites.google.com/view/ecumenical-4th-meeting/__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdhPv-n3L$ 

Registration

If you would like to attend, please register via the form:

https://urldefense.com/v3/__https://forms.office.com/e/6e7iXXPFES__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdqZhJ9AY$ 

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://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdjPryhsT$ 

UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdtV4zqJJ$ >*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdvfMqYQ0$ >*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!QI-OdcF0NRNQYPsAFrL18bmA6nx5HbwuArQCnptRCsUKFCVdCoH-fupH4vH0SCMTDUGvtLOFfCtHBMdqlCf7wVluPY8T-x_OdgxY2xU7$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260121/628d1e40/attachment-0001.htm>