From 790b5401147030653e57ac12ad86d587093c719c Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Sat, 12 Jun 2021 10:56:21 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index bf545ef..20a5b83 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -91,7 +91,7 @@ abonnieren! | 23. 12. 2020 | entfällt | | | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation | 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 for a Logical Framework | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/2021-01-27-roux-logical-relations.pdf), [underlying paper](https://kwarc.info/people/frabe/Research/RS_logrels_12.pdf) +| 27. 01. 2021 | Navid Roux | Logical Relations for a Logical Framework | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/slides.pdf), [manuscript](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf), [underlying paper](https://kwarc.info/people/frabe/Research/RS_logrels_12.pdf) | 03. 02. 2021 | Sebastian Weber | TBD | | 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics| -- GitLab