Academic talks, lectures and seminars. Times include the organizer’s UTC offset.
北京时间 11 月 17 日（周二）03:00 开始 Zoom 参加方式 [订阅主办方邮件列表，接收入会链接](https://listserv.uni-muenster.de/mailman/listinfo/ai-maths)。 Martin Raum 将介绍他如何用 AI…
Martin Raum · Chalmers University of Technology
北京时间 11 月 17 日（周二）13:30–16:55 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA [一键加入 Zoom](https://us02web.zoom.us/j/4355297909?pwd=RGs4b0pQSmJMRkRveWJ2eHUx…
沈策（Ce Shen） · 北京雁栖湖应用数学研究院（BIMSA）
北京时间 11 月 17 日（周二）22:00 至次日 00:00 线上参加 请在 11 月 8 日 前通过[CRM 课程页](https://www.crm.cat/formalizing-mathematics-in-lean-with-ai-2/)报名。主办方会在开课前把线…
Michail Karatarakis · Radboud University Nijmegen、Axiomatic AI
北京时间 11 月 19 日（周四）22:00 至次日 00:00 线上参加 请在 11 月 8 日 前通过[CRM 课程页](https://www.crm.cat/formalizing-mathematics-in-lean-with-ai-2/)报名。主办方会在开课前把线…
Michail Karatarakis · Radboud University Nijmegen、Axiomatic AI
北京时间 11 月 21 日（周六）16:00–17:00 Zoom 会议号 833 8740 2865 ｜ 密码 564389 Banjai 将介绍求解时域边界积分方程的卷积求积法，比较已有严格分析的数值方法和在实验中表现良好、仍有待理论解释的方法。英语报告。 [中科院数学与系…
Lehel Banjai · Heriot-Watt University
北京时间 11 月 24 日（周二）13:30–16:55 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA [一键加入 Zoom](https://us02web.zoom.us/j/4355297909?pwd=RGs4b0pQSmJMRkRveWJ2eHUx…
沈策（Ce Shen） · 北京雁栖湖应用数学研究院（BIMSA）
13–18 of 18 discussions