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

capitalize my name/presentation titles

parent 3bea93f9
No related branches found
No related tags found
No related merge requests found
Pipeline #2984 passed
......@@ -82,7 +82,7 @@ abonnieren!
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 22. 04. 2020 | Rabe | Admin, Themenvergabe |
| 22. 04. 2020 | Roux | Functorial Diagram Operators |
| 22. 04. 2020 | Navid Roux | Functorial Diagram Operators |
| 29. 04. 2020 | Kohlhase| Themenvergabe, Workshop-Vortrag|
| 06. 05. 2020 | ---- | fällt aus|
| 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious Games |
......@@ -114,7 +114,7 @@ abonnieren!
| 18. 12. 2019 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2020 | --- | no seminar |
| 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
| 22. 1. 2020 | Navid Roux | Composition of programming languages |
| 22. 1. 2020 | Navid Roux | Composition of Programming Languages |
| 29. 1. 2020 | -- | no seminar |
| 5. 2. 2020 | -- | no seminar|
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment