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