diff --git a/courses/swuv.md b/courses/swuv.md
index c8954e324e6427c858bb05a3221c43f933cabe98..4592cbb84c74fc5119c46d2bd632d768be926cce 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -66,6 +66,11 @@ above (easy talks are early!).
 | 24. 10. 2025 | Kohlhase, Rabe  | TBD ||
 | 31. 10. 2025 | Kohlhase  | How to read a paper? ||
 | 07. 11. 2025 | Rabe | How to give a talk? ||
+| 5.12.2024    | Abhishek Datar | Rewriting and Termination Orderings||
+| 12.12.2024   | Henry Böhm | Knuth-Bendix completion ||
+| 23. 01. 2025 | Marius Knorr | Hilbert’s programme + Tarski’s theorem ||
+| 30. 01. 2025 | Palveer Paul Mander | Gödel’s incompleteness theorem ||
+| 06. 02. 2025 | Robert Leichtl | Church’s theorem ||
 
 <!--- ##### Content and Audience