From 35b76c7cff54bc3a3170aa6828b6f2e6fc5419e4 Mon Sep 17 00:00:00 2001 From: Max Rapp <maxgrapp@googlemail.com> Date: Fri, 22 Jan 2021 15:31:48 +0100 Subject: [PATCH] New talk. --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 1c83e55..c7115db 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -49,7 +49,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 20. 01. 2021 | Markus Wich | Autoformalization of Mathematics | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/wich-slides.pdf) | 27. 01. 2021 | Navid Roux | Logical Relations | | 03. 02. 2021 | Sebastian Weber | TBD | -| 10. 02. 2021 | | | +| 10. 02. 2021 | Max Rapp| Sequent Calculi for Argumentation and/or Adaptive Logics| ##### Vortragsthemen -- GitLab