<html class="apple-mail-supports-explicit-dark-mode">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<div dir="ltr"></div>
<div dir="ltr">I know this list is not very active, but this may be interesting to some.</div>
<div dir="ltr"><br>
</div>
<div dir="ltr">Best wishes,</div>
<div dir="ltr">Chris<br>
<br>
<br>
Begin forwarded message:<br>
<br>
</div>
<blockquote type="cite">
<div dir="ltr"><b>From:</b> Diletta Martinelli <d.martinelli@uva.nl><br>
<b>Date:</b> October 7, 2026 at 4:41:46 PM GMT+2<br>
<b>Subject:</b> <b>Fellow event at IAS</b><br>
<br>
</div>
</blockquote>
<blockquote type="cite">
<div dir="ltr">
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
[…]</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;"><br>
</span></div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;">As some of you know, I recently started a team fellowship at the UvA Institute for Advanced Study. With my co-fellows, Jim Portegies from TU Eindhoven and Mike Obiero Oyengo from Maseno University in Kenya, we are focusing
 on the impact of AI and </span>proof assistants<span style="text-transform: none;"> on mathematical communities in SubSaharan Africa, both in terms of education than research.</span></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;"><br>
</span></div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0); text-transform: none;">I would like to share the announcement for our fellowship event at IAS happening on October 21^st where we will present our fellowship project</span><span style="color: rgb(0, 0, 0);">:</span><span style="color: rgb(0, 0, 0); text-transform: none;"> </span><span style="color: rgb(0, 0, 0);">see</span><span style="color: rgb(0, 134, 240);"><a href="https://ias.uva.nl/content/events/2026/10/fellowship-event-diletta-martinelli-jim-portegies-michael-oyengo-21.10.2026.html?origin=PRy12xnsQemXLkKbh0An2g" title="https://ias.uva.nl/content/events/2026/10/fellowship-event-diletta-martinelli-jim-portegies-michael-oyengo-21.10.2026.html?origin=PRy12xnsQemXLkKbh0An2g" data-outlook-id="c2020479-e85a-4e40-93ef-0d74186e91b2" data-ogsc="rgb(0, 134, 240)" style="color: rgb(0, 134, 240);"> here</a></span><span style="color: rgb(0, 0, 0);"> for
 details and registration.</span></div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
[…]</div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;">Please feel free to share this in your network.</span></div>
<div style="font-family: Aptos; font-size: 12pt; color: rgb(0, 0, 0);"><span style="text-transform: none;">Thanks a lot and very best wishes, Diletta </span></div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</div>
</blockquote>
</body>
</html>