<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.E-MailFormatvorlage18
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="DE-AT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">D<span style="color:black">ear
</span>all!</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">We are excited to announce the next talk in the seminar series "Women in Logic Online" by
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Elaine Pimentel<span style="color:black">!</span></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Date: </span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Wednesday<span style="color:black">,
</span>November 26<span style="color:black">, 202</span>5</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Time: 17:00 CEST</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Venue: Online via Zoom</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">You can register for free at
<a href="https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ">https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ</a>.<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">TITLE:
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Classical Versus Constructive: An Ecumenical Approach</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">ABSTRACT:</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">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.</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">SHORT BIO:</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="http://sites.google.com/site/elainepimentel/">Elaine Pimentel</a> 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.<o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Elaine coordinates the
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://sites.google.com/view/ecumenical/" target="_blank"><span lang="EN-US">research project ECUMENICAL</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">,
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
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://sites.google.com/view/potimaticas/" target="_blank"><span lang="EN-US">outreach project POTIMÁTICAS</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">
to encourage girls to pursue Mathematics and Computer Science. She also runs the platform Mathematics:
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://matematicasf.wordpress.com/" target="_blank"><span lang="EN-US">feminine noun</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">
and co-founded the collective Brazilian Female Logicians, which has organized initiatives such as
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://logicasbrasileiras.wordpress.com/logica-e-representatividade/" target="_blank"><span lang="EN-US">Logic and Representativeness</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">.
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.<o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">We hope to see you there!</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Agata Ciabattoni & Josephine Dik</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Women in Logic
</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><a href="https://womeninlogic.org/" target="_blank"><span lang="EN-US" style="font-family:"Arial",sans-serif">https://womeninlogic.org/</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;mso-ligatures:none"><a href="https://www.vcla.at/2025/11/women-in-logic-online-talk-with-elaine-pimentel/">https://www.vcla.at/2025/11/women-in-logic-online-talk-with-elaine-pimentel/</a></span><span lang="EN-US"><o:p></o:p></span></p>
</div>
</body>
</html>