<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:0in;
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.EmailStyle18
{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;}
@page WordSection1
{size:8.5in 11.0in;
margin:70.85pt 70.85pt 56.7pt 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="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p><span style="font-size:10.0pt;font-family:"Arial",sans-serif">D<span style="color:black">ear
</span>all!</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span 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 style="font-size:10.0pt;font-family:"Arial",sans-serif">Nina Gierasimczuk<span style="color:black">!</span></span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Date: </span><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Tuesday<span style="color:black">,
</span>September 16<span style="color:black">, 202</span>5</span><span 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">Time: 17:30 CEST</span><span 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">Venue: Online via Zoom</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p></o:p></span></p>
<p><span 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_21KUN_HySZ--dE9Hwq9y1w">https://tuwien.zoom.us/webinar/register/WN_21KUN_HySZ--dE9Hwq9y1w</a>.<br>
</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">TITLE:
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Learning and Belief Revision: an Overview</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">ABSTRACT:</span><span 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">Successful learning can be understood as convergence to true beliefs. Can belief revision policies (as studied in Knowledge Representation) generate sensible learning methods? The same can
be asked about multi-agent belief revision, where a group of agents revise their collective conjectures by a combination of belief revision and belief merge. Finally, how could computational models of learning, such as neural networks, fit in that picture?
In my talk I will address those questions using a mix of methods of (modal) logic and formal learning theory.</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">SHORT BIO:</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="DE-AT" style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://academia.ninagierasimczuk.com/" target="_blank"><span lang="EN-US">Nina Gierasimczuk</span></a></span><span style="font-size:10.0pt;font-family:"Arial",sans-serif">
is an associate professor at the </span><span lang="DE-AT" style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://www.dtu.dk/english/" target="_blank"><span lang="EN-US">Department of Applied Mathematics and Computer Science at Technical
University of Denmark (DTU Compute)</span></a></span><span style="font-size:10.0pt;font-family:"Arial",sans-serif">. Before, she was employed at the Institute for Logic, Language and Computation at the University of Amsterdam and the Bernoulli Institute of
Mathematics, Computer Science and Artificial Intelligence at the University of Groningen. At present, she serves on the boards of the European Association for Logic, Language and Information and the Scandinavian Logic Society. She is also a member of the steering
committees of the DaLi Workshop and the NMR Workshop, and an associate editor at Journal and Logic, Language and Information, Annals of Mathematics and Artificial Intelligence, Fundamenta Informaticae, and Nordic Machine Intelligence.<o:p></o:p></span></p>
<p><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Her main research interest lies in the logical aspects of learning in both single- and multi-agent context, and involves knowledge representation, dynamic modal logic, computability theory, belief
revision, and multi-agent systems. She is also studying the role of logic and logical modeling in cognitive science.<o:p></o:p></span></p>
<p><span 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">We hope to see you there!</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Agata Ciabattoni & Josephine Dik</span><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Women in Logic
</span><span lang="DE-AT" 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 style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><o:p></o:p></span></p>
<p><span style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;mso-ligatures:none;mso-fareast-language:DE-AT"><a href="https://www.vcla.at/2025/08/women-in-logic-online-talk-with-nina-gierasimczuk/">https://www.vcla.at/2025/08/women-in-logic-online-talk-with-nina-gierasimczuk/</a></span><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>