<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=Windows-1252">
<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;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@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">Dear
<span style="color:black">colleagues</span>,<o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">we are starting a new seminar series called "Women in Logic Online"! The first talk will be given by Valeria de Paiva.<o:p></o:p></span></p>
<p class="MsoNormal"><strong><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Date</span></strong><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">: Wednesday, March 20, 2024<br>
<strong><span style="font-family:"Arial",sans-serif">Time</span></strong>: 17:00 CET<br>
<strong><span style="font-family:"Arial",sans-serif">Venue</span></strong>: Online via Zoom (link for free registration:
</span><a name="_Hlk159316113"></a><a href="https://tuwien.zoom.us/webinar/register/WN_UrB27nExRpaKjvxQXmNlZQ"><span style="mso-bookmark:_Hlk159316113"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">https://tuwien.zoom.us/webinar/register/WN_UrB27nExRpaKjvxQXmNlZQ</span></span><span style="mso-bookmark:_Hlk159316113"></span></a><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">)<o:p></o:p></span></p>
<p><strong><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">ABSTRACT</span></strong><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">This is the first talk in a new series of seminars we are calling "Women in Logic Online". As such, I want to start by discussing our collective "Women in Logic", our successes and
challenges, as well as our future plans. Still, for most of our work as women in logic in the past seven years, we have vouched to discuss not only our problems and actions, but mostly real work in logic, be that in Computing, AI, Linguistics, Mathematics,
Philosophy, and any of the intersections thereof. Thus, I also want to talk about my project "Network Mathematics", which puts together previous strands of work in language, logic, and mathematics. This means that I will tell you about three small prototypes
designed to make use of the new tools of AI to improve access to mathematics, especially to Category Theory.<o:p></o:p></span></p>
<p><strong><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Short Bio:</span></strong><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">Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories.
Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before that, she was a professor at the University of Birmingham, UK. She is very keen on making sure that women
are not too short-changed in their professional lives. For that, she maintains the
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://www.womeninlogic.org/" target="_blank"><span lang="EN-US">“Women in Logic” website</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">,</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://www.facebook.com/groups/WomenInLogic" target="_blank"><span lang="EN-US">
Facebook group</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">, and
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://blog.womeninlogic.org/" target="_blank"><span lang="EN-US">blog</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">, helps</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://women.acm.org/scholarships/" target="_blank"><span lang="EN-US">
the ACM-W Scholarship program</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">, and started the
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://www.womeninlogic.org/workshops" target="_blank"><span lang="EN-US">international workshop “Women in Logic”</span></a></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">,
now going for its 7th year.<o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">For more information, please visit:
<a href="https://www.vcla.at/2024/02/women-in-logic-online/">https://www.vcla.at/2024/02/women-in-logic-online/</a><o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">We hope to see you there!<o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Agata Ciabattoni & Josephine Dik<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"><b><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#2F5496;mso-ligatures:none;mso-fareast-language:DE-AT"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>