Skip to content
Snippets Groups Projects
Commit 82b40137 authored by Navid Roux's avatar Navid Roux :speech_balloon:
Browse files

Update swuv.md

parent cdaac7d1
No related branches found
No related tags found
No related merge requests found
Pipeline #2978 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
courses/swuv.md
+ 2
− 2
View file @ 82b40137
...@@ -47,9 +47,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). ...@@ -47,9 +47,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 23. 12. 2020 | entfällt | | | 23. 12. 2020 | entfällt | |
| 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation | 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) | 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 | | 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)
| 03. 02. 2021 | Sebastian Weber | TBD | | 03. 02. 2021 | Sebastian Weber | TBD |
| 10. 02. 2021 | Max Rapp| Sequent Calculi for Argumentation and/or Adaptive Logics| | 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics|
##### Vortragsthemen ##### Vortragsthemen
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment