4th ECUMENICAL meeting @ Stockholm
19 views
Skip to first unread message
Elaine Pimentel
Jan 21, 2026, 2:48:36 AM (13 days ago) Jan 21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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
UCL Computer Science is an Athena Swan Gold award winner for gender equality
UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024
-----------------------------------
Reply all
Reply to author
Forward
0 new messages