Update swuv.md

1c75cbbf · Florian Rabe · 03528932 · 1c75cbbf
Commit 1c75cbbf authored 5 months ago by Florian Rabe
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -68,7 +68,7 @@ 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 | ??? ||
+| 19.12.2024   | Awritrojit Banerjee | Equality Elimination, Paramodulation and Superposition 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 ||