From b99752b681c2353aef33728721c8bc0f81240185 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 19 Nov 2024 12:20:53 +0100
Subject: [PATCH] more dates

---
 courses/swuv.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/courses/swuv.md b/courses/swuv.md
index c8954e3..4592cbb 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -66,6 +66,11 @@ above (easy talks are early!).
 | 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 ||
+| 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 ||
 
 <!--- ##### Content and Audience
 
-- 
GitLab