Skip to content
Snippets Groups Projects
Commit 20bf63c9 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent d40ffcba
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
courses/swuv.md
+ 1
− 1
View file @ 20bf63c9
...@@ -45,7 +45,7 @@ Studenten, die nicht persönlich teilnehmen können, sollten zum ersten Termin p ...@@ -45,7 +45,7 @@ Studenten, die nicht persönlich teilnehmen können, sollten zum ersten Termin p
| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation | 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 | 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 | 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
| 18. 11. 2021 | | | | 18. 11. 2021 | Johannes Westfahl| tbd|
| 25. 11. 2021 | Michael Wagner | Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization | MSc thesis presentation | 25. 11. 2021 | Michael Wagner | Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization | MSc thesis presentation
| 02. 12. 2021 | | | | 02. 12. 2021 | | |
| 09. 12. 2021 | | | | 09. 12. 2021 | | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment