Commit 23f1fc2c authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 8c2430de
Pipeline #3198 passed with stage
in 1 minute and 33 seconds
......@@ -37,19 +37,20 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 04. 11. 2020 | Rabe | Admin, Themenvergabe |
| 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? |
| 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? |
| 25. 11. 2020 | | entfällt |
| 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey |
| 09. 12. 2020 | Michael Banken | Theory Intersection| Msc. thesis presentation
| 16. 12. 2020 | Jan Frederik Schaefer | Prototyping NLU Pipelines -- A Type-Theoretical Framework | Msc. thesis presentation ([slides](https://github.com/jfschaefer/slides/raw/master/2020/swuv-msc-presentation/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2020/Schaefer_Jan_Frederik.pdf))
| 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)
| 03. 02. 2021 | Sebastian Weber | TBD |
| 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics|
| 14. 04. 2021 | Rabe | Admin, Themenvergabe |
| 21. 04. 2021 | Sven Wille | Towards an interactive proof system for MMT | MSc. proj. presentation
| 28. 04. 2020 | | |
| 05. 05. 2020 | | |
| 12. 05. 2020 | | |
| 19. 05. 2020 | | |
| 26. 05. 2020 | | |
| 02. 06. 2020 | | |
| 09. 06. 2020 | | |
| 16. 06. 2020 | | |
| 23. 06. 2020 | | |
| 30. 06. 2020 | | |
| 07. 07. 2020 | | |
| 14. 07. 2020 | | |
##### Vortragsthemen
......@@ -76,6 +77,23 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
##### For the record: Seminarplan WS2021
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 04. 11. 2020 | Rabe | Admin, Themenvergabe |
| 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? |
| 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? |
| 25. 11. 2020 | | entfällt |
| 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey |
| 09. 12. 2020 | Michael Banken | Theory Intersection| Msc. thesis presentation
| 16. 12. 2020 | Jan Frederik Schaefer | Prototyping NLU Pipelines -- A Type-Theoretical Framework | Msc. thesis presentation ([slides](https://github.com/jfschaefer/slides/raw/master/2020/swuv-msc-presentation/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2020/Schaefer_Jan_Frederik.pdf))
| 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)
| 03. 02. 2021 | Sebastian Weber | TBD |
| 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics|
##### For the record: Seminarplan SS20
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment