From 1c75cbbfea626d80c96d6b2617d5aa0ac9f57016 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 20 Nov 2024 16:17:54 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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