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

another

parent 41d54827
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 2 deletions
courses/wuv.md
+ 5
− 2
View file @ 53a0aa07
...@@ -34,8 +34,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). ...@@ -34,8 +34,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
| 16. 5. 2018 | Dennis Müller| Records as Types | | 16. 5. 2018 | Dennis Müller| Records as Types |
| 30. 5. 2018 | ??? | ????| | 30. 5. 2018 | ??? | ????|
| 6. 6. 2018 | ??? | ????| | 6. 6. 2018 | ??? | ????|
| 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents | | 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific
| ???? | Dennis Müller| A View Finder for MMT libraries| formal languages and informal text documents |
| 4. 7. 2018 | Martin Holzwarth | Framing |
| ???? | Alpcan Dalga | OpenMath & Dennis |
| ???? | SCSCP Müller| A View Finder for MMT libraries|
| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
##### Vortragsthemen ##### Vortragsthemen
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment