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

new semester

parent 0982501f
No related branches found
No related tags found
No related merge requests found
Pipeline #1757 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 35 additions and 15 deletions
courses/wuv.md
+ 35
− 15
View file @ 56889185
......@@ -29,21 +29,21 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
|Datum|Sprecher|Thema|Notiz|
|-----|-------|-----|----|
| 24. 4. 2019| Dennis Müller | Admin, Themenvergabe ||
| 1. 5. 2019 | - | Maifeiertabg ||
| 8. 5. 2019 | Richard Marcus | 3D Visualization of Theory Graphs||
| 15. 5. 2019 | Michael Torpey (St. Andrews) | Persistent Memoization between Computer Algebra Systems||
| 22. 5. 2019 | - | entfaellt||
| 29. 5. 2019 | - | Christi Himmelfahrt||
| 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs ||
| 12. 6. 2019| Frederik Schaefer | GF + MMT = GLF - From Language to Semantics Through LF||
| 19. 6. 2019 | - | entfaellt ||
| 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks||
| 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory||
| 10. 7. 2019 | - | entfaellt ||
| *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin|
| *17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332|
| 24. 7. 2019 | - | entfaellt ||
| 16. 10. 2019| Rabe | Admin, Themenvergabe |
| 23. 10. 2018 | Michael Kohlhase| How to read scientific articles|
| 30. 10. 2018 | | |
| 6. 11. 2018 | | |
| 13. 11. 2018 | | |
| 20. 11. 2018 | | |
| 27. 11. 2018 | | |
| 4. 12. 2018 | | |
| 11. 12. 2018 | | |
| 18. 12. 2018 | | |
| 8. 1. 2019 | | |
| 15. 1. 2019 | | |
| 22. 1. 2019 | | |
| 29. 1. 2019 | | |
| 5. 2. 2019 | | |
##### Vortragsthemen
......@@ -76,6 +76,26 @@ 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 SS2019
|Datum|Sprecher|Thema|
|-----|-------|-----|
| 24.4. 2019| Rabe | Admin, Themenvergabe ||
| 1. 5. 2019 | - | Maifeiertag ||
| 8. 5. 2019 | Richard Marcus | 3D Visualization of Theory Graphs||
| 15. 5. 2019 | Michael Torpey (St. Andrews) | Persistent Memoization between Computer Algebra Systems||
| 22. 5. 2019 | - | entfaellt||
| 29. 5. 2019 | - | Christi Himmelfahrt||
| 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs ||
| 12. 6. 2019| Frederik Schaefer | GF + MMT = GLF - From Language to Semantics Through LF||
| 19. 6. 2019 | - | entfaellt ||
| 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks||
| 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory||
| 10. 7. 2019 | - | entfaellt ||
| *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin|
| *17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332|
| 24. 7. 2019 | - | entfaellt ||
##### For the record: Seminarplan SS2018
|Datum|Sprecher|Thema|
......
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