diff --git a/courses/swuv.md b/courses/swuv.md index 539a08c2d4591f6d5a3cc2bd08d269a3a2b93c7c..09e9da4d7645ff9c85b8d63b8a6b72687950c5f4 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 ||