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

---
 courses/swuv.md | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

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