diff --git a/courses/swuv.md b/courses/swuv.md index 09e9da4d7645ff9c85b8d63b8a6b72687950c5f4..b8ee6a7e3af48a72ea0147670a72110ad182b08e 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -62,13 +62,14 @@ above (easy talks are early!). |Date|Speaker|Topic|Remark| |----|-------|-----|------| -| 17. 10. 2025 | Kohlhase, Rabe | Admin, discussion of topics || -| 24. 10. 2025 | Kohlhase, Rabe | TBD || -| 31. 10. 2025 | Kohlhase | How to read a paper? || -| 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 | Awritrojit Banerjee | Equality Elimination, Paramodulation and Superposition Banerjee || +| 17. 10. 2024 | Kohlhase, Rabe | Admin, discussion of topics || +| 24. 10. 2024 | Kohlhase, Rabe | TBD || +| 31. 10. 2024 | Kohlhase | How to read a paper? || +| 07. 11. 2024 | Rabe | How to give a talk? || +| 28. 11. 2024 | Rabe | How to write a paper? (via zoom only) || +| 05. 12. 2024 | Abhishek Datar | Rewriting and Termination Orderings|| +| 12. 12. 2024 | Henry Böhm | Knuth-Bendix completion || +| 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 ||