<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=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;
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">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">Sonja Smets<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>March 19<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/meeting/register/UtjcX1q1RRKFBObMIEQYTA">https://tuwien.zoom.us/meeting/register/UtjcX1q1RRKFBObMIEQYTA</a>.<br>
This is currently planned as a Zoom meeting, but will be converted to a webinar prior to the event.</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:
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Logic and Computation of Social Behavior</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">Following the recent development in which logical methods can be applied to the formal analysis of social networks, I present work on the use of logic to study social influence
and herd behavior in epistemic social networks. In such networks, we first consider agents who adopt a new fashion or behavior depending on whether a "sufficiently large enough group" of their neighbors already has adopted the behavior. We provide different
types of models as well as a simple qualitative modal language to reason about the concept of a "strong enough" trigger of influence. Using fixed-point operators in our logic, important results from network theory about the characterization of informational
cascades follow immediately from our logical axioms. Unfolding the influence dynamics in an epistemic social network allows us to characterize the epistemic conditions under which the dynamic diffusion process can speed up or slow down. The results presented
in this talk are based on on-going joint work with Alexandru Baltag at the University of Amsterdam in [1] and on the paper in [2].<br>
[1] Alexandru Baltag and Sonja Smets. Logic goes viral: Modalities for Social Networks, Manuscript in preparation, 2025.<br>
[2] Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets, Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, June 2019, Volume 107 (3), pp 489-531.</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="https://sites.google.com/site/thesonjasmetssite/" target="_blank">Sonja Smets</a> is professor of Logic and Epistemology at both the Faculty of Science and the Faculty
of Humanities at the <a href="https://www.uva.nl/en" target="_blank">University of Amsterdam</a>. She established herself as an expert in the domain of non-classical Philosophical Logic, and especially its applications to the logical-philosophical foundations
of quantum mechanics, and to the reasoning about knowledge and belief in formal epistemology and in multiagent systems. She is a member of the Royal Netherlands Academy of Arts and Sciences (KNAW) and won the Birkhoff-Von Neumann Prize in 2012.<br>
Smets is the former director of the ILLC, the vice-president of the International Quantum Structures association and the current president of FOLLI, The Association for Logic, Language and Information.<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><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif"><a href="https://www.vcla.at/2025/03/women-in-logic-online-talk-with-sonja-smets/">https://www.vcla.at/2025/03/women-in-logic-online-talk-with-sonja-smets/</a><span style="color:black"><o:p></o:p></span></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>