[PlanetKR] Invitation - Women in Logic Online with Elaine Pimentel, February 5, virtual event

[Josephine Dik]

Dear colleagues,

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

Date:    Thursday, February 5, 2026
Time:    16:00 CET
Venue:  Online via Zoom

You can register for free using the following form: 
https://forms.gle/E2qXCfpX4Rq6Dre58 .

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 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, 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 to encourage girls to pursue 
Mathematics and Computer Science. She also runs the platform 
Mathematics: feminine noun and co-founded the collective Brazilian 
Female Logicians, which has organized initiatives such as Logic and 
Representativeness. 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20260115/ab3eaede/attachment.htm>