[DL] Women in Logic Online with Elaine Pimentel, November 26, virtual event

[Hackl, Andrea]

Dear all!

We are excited to announce the next talk in the seminar series "Women in Logic Online" by Elaine Pimentel!

Date:    Wednesday, November 26, 2025
Time:    17:00 CEST
Venue:  Online via Zoom

You can register for free at https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ.


TITLE: Classical Versus Constructive: An Ecumenical Approach

ABSTRACT:
Ecumenism can be understood as the pursuit of unity, a space where diverse thoughts, ideas, or perspectives coexist harmoniously. In logic, ecumenical systems broadly refer to proof systems that combine different logics. One captivating research direction over the past few decades has been the development of systems that merge classical and intuitionistic connectives, allowing them to coexist peacefully. In this talk, we will explore ecumenical systems, drawing inspiration from Prawitz's seminal work. We will begin by elucidating Prawitz's notion of ecumenism, then present several ecumenical proof systems and extend the discussion to include alethic modalities. We will examine translations, Glivenko theorems, and semantics, before concluding with reflections on ecumenism in mathematical proofs and refutations, as well as other approaches to combining classical and constructive behaviours in logical systems.

SHORT BIO:
Elaine Pimentel<http://sites.google.com/site/elainepimentel/> is a Professor of Logic and Computation in the Department of Computer Science at University College London (UCL), UK. She is also the UCL CS Schools Outreach Lead, Treasurer of ACM SIGLOG, Chair of the Latin American Committee of the Association for Symbolic Logic, and chair of the steering committees of TABLEAUX and LFMTP.

Elaine coordinates the research project ECUMENICAL<https://sites.google.com/view/ecumenical/>, and her main research interests span several areas of Logic and Proof Theory, including the specification and verification of concurrent, computational, and logical systems, game semantics, ecumenical logics, and proof systems for automatic reasoning. She is deeply committed to advancing diversity and inclusion in academia and beyond. Elaine leads the outreach project POTIMÁTICAS<https://sites.google.com/view/potimaticas/> to encourage girls to pursue Mathematics and Computer Science. She also runs the platform Mathematics: feminine noun<https://matematicasf.wordpress.com/> and co-founded the collective Brazilian Female Logicians, which has organized initiatives such as Logic and Representativeness<https://logicasbrasileiras.wordpress.com/logica-e-representatividade/>. At UCL, she is an active member of the Athena SWAN group, working to connect her international experience with UCL's ongoing equality and inclusion initiatives.

We hope to see you there!

Agata Ciabattoni & Josephine Dik

Women in Logic https://womeninlogic.org/


https://www.vcla.at/2025/11/women-in-logic-online-talk-with-elaine-pimentel/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20251106/77c4d4f1/attachment.htm>