Update swuv.md

courses/swuv.md

@@ -68,6 +68,9 @@ above (easy talks are early!).
 | 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 ||
+| 19.12.2024   | ??? Banerjee | ??? ||
+| 09. 01. 2025 | Kaloyan Kostadinov | Knowledge Cleaning ||
+| 16. 01. 2025 | Benel Abebe | Knowledge Enrichment ||
 | 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 ||