From c.bick at vu.nl Wed Oct 7 17:16:11 2026 From: c.bick at vu.nl (Bick, C. (Christian)) Date: Wed, 7 Oct 2026 15:16:11 +0000 Subject: [SGS] Fwd: Fellow event at IAS Message-ID: <15D780B8-B06D-49FC-B70F-E552F1A85629@vu.nl> I know this list is not very active, but this may be interesting to some. Best wishes, Chris Begin forwarded message: From: Diletta Martinelli Date: October 7, 2026 at 4:41:46?PM GMT+2 Subject: Fellow event at IAS [?] 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 proof assistants on mathematical communities in SubSaharan Africa, both in terms of education than research. I would like to share the announcement for our fellowship event at IAS happening on October 21st where we will present our fellowship project: see here for details and registration. [?] Please feel free to share this in your network. Thanks a lot and very best wishes, Diletta -------------- next part -------------- An HTML attachment was scrubbed... URL: