<html xmlns:v="urn:schemas-microsoft-com:vml" 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=us-ascii">
<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;
mso-fareast-language:EN-US;}
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><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</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;color:black">Dear 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 called "Women in Logic Online" by Sara Negri!</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: Monday, June 23, 2025</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 (<a href="https://tuwien.zoom.us/webinar/register/WN_HNarVhupSx6L4a0gn8k9GQ">click here to register</a>)</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">TITLE: Axioms as Rules in Intuitionistic Logic</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;color:black">Over the past few decades, research in structural proof theory has made significant advances in converting axioms into inference rules, aiming to preserve the structural
properties and proof-theoretic behaviour of a given logical calculus. This transformation is especially relevant for sequent calculi, where the addition of axioms as initial sequents would affect desirable properties such as cut elimination or analyticity.
In this talk, we examine this conversion within the framework of intuitionistic logic, offering both a comparative analysis with the classical setting and novel extensions of the methodology.<br>
[Joint work with Matteo Tesi]</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 style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"><a href="https://sites.google.com/view/saranegri/home" target="_blank"><span lang="EN-US">Sara Negri</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">
is a Professor (it.: Professore Ordinario) of Mathematical Logic at the University of Genova. During 2015-2019, she held the chair of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History and Culture of the University of Helsinki.
Previously, she was a Researcher/Senior Researcher since 1996 and Logiikan Dosentti (Adjunct Professor in Logic) since 1998 in the same department (a title resumed in 2021), and a research fellow at the Helsinki Collegium for Advanced Studies from 2014 to
2015. She obtained a Master’s degree in Mathematics in 1991 and a Ph.D. in Mathematics in 1996, both from the University of Padova. Other positions include Research Associate at the Department of Computing of the Imperial College in London, Humboldt Fellow
at the Department of Mathematics of LMU in Munich, and Visiting Scientist at the Mittag-Leffler mathematical research institute in Stockholm as well as at the Hausdorff Research Institute for Mathematics in Bonn. In addition, she visited various universities,
such as Amsterdam, Chalmers, St Andrews, and Toulouse.</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 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:"Arial",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><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"><a href="https://www.vcla.at/2025/05/women-in-logic-online-talk-with-sara-negri/">https://www.vcla.at/2025/05/women-in-logic-online-talk-with-sara-negri/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>