diff --git a/seminar.md b/seminar.md
index 8fbb7f1416d2b466874212a182b5a0823058e92a..a83478204162f8de0fb89da1e978c1b2743c1d3c 100644
--- a/seminar.md
+++ b/seminar.md
@@ -58,7 +58,7 @@ and a mattermost channel for chat. To join the mattermost channel:
 |Date|Speaker|Title/Topic|
 |----|-------|-----------|
 |2022-05-30 (?) | Dennis Müller/Michael Kohlhase | sTeX 3 – Semantic LaTeX Reimagined |
-|2022-05-02| Kensho Tsurusaki | TBA |
+|2022-05-02| Kensho Tsurusaki | Literate programming in Lean theorem prover |
 |2022-03-21| Deyan Ginev | ar5iv.org – a new preview platform for the arXMLiv dataset |
 |2022-02-07| Deyan Ginev | **rescheduled for March 21** ar5iv.org – a new preview platform for the arXMLiv dataset ([slides](https://prodg.org/talks/ar5iv_launch))|
 |2022-01-10| Abdou Youssef | Machine Learning for Math: Vision and Intermediate Milestones ([slides](/public/slides/2022-01-10-youssef.pdf), [recording](https://www.fau.tv/clip/id/39854)) |