From 03528932faf35020ed376c4aac6c7e41d5de8b1f Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Tue, 19 Nov 2024 12:12:53 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/courses/swuv.md b/courses/swuv.md
index 4592cbb..539a08c 100644
--- a/courses/swuv.md
+++ b/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 ||
-- 
GitLab