Skip to content
Snippets Groups Projects
Commit e61a9a6c authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 6ad41c8a
No related branches found
No related tags found
No related merge requests found
Pipeline #3724 passed
......@@ -40,12 +40,12 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation (tentative)
| 04. 11. 2021 | Kohlhase, Rabe | How to read a paper? |
| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
| 18. 11. 2021 | Kohlhase, Rabe | How to give a scientific talk? |
| 18. 11. 2021 | Kohlhase, Rabe | How to read a scientific paper? |
| 25. 11. 2021 | Michael Wagner | Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization | MSc thesis presentation
| 02. 12. 2021 | | |
| 02. 12. 2021 | Kohlhase, Rabe | How to give a scientific talk? |
| 09. 12. 2021 | | |
| 16. 12. 2021 | | |
| 23. 12. 2021 | entfällt | |
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment