An informal series of lunch meetings for colleagues at the Mathematical Institute of Leiden University. We will share practical experiences with AI in research, teaching, and beyond. Staff, postdocs, and PhD students are welcome.
Next meeting: Generative AI in mathematical coursework
How can generative AI be incorporated into mathematical homework and classroom discussions? This one-hour, interactive session will bring colleagues together to compare approaches, share examples, and discuss what could help students learn effectively.
In small groups, we will discuss and design assignments that use AI productively. For instance, students could use an LLM to assess their own reasoning and give feedback or work through a complicated argument. Can we facilitate this sort of engagement in a productive manner through homework? How do we make sure students actually benefit and do not engage in “cognitive surrender”? Contributions and questions are welcome, whether or not you already use these tools in your teaching.
Schedule
| Date and time | Location | Topic | Chair |
|---|---|---|---|
| 29 September 2026 12:00–13:00 | BW.2.26 | Building your own LLM arXiv curator | David Holmes |
| 12 October 2026 13:00–14:00 | BE.0.18 | Generative AI in mathematical coursework | Martin Bright |
Stay informed
Mailing-list signup details were announced internally by email. Please sign up using the link there or send an email to one of the organisers.
Future announcements will go to the mailing list. If you prefer not to join the list, check this page for the confirmed dates, times, and rooms.
Organisers
David Holmes & Emre Can Sertöz
Check the previous programme here: AI Lunch (2025 Fall)
