From 4abb7407b40f31618951cbc7f071d2985db17580 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Wed, 22 Nov 2017 06:37:59 +0100 Subject: [PATCH] no talk today --- courses/wuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index 6d06c4a..b28af4f 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -27,7 +27,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 1. 11. 2017 | Allerheiligen | ------ | | 8. 11. 2017| Tom Wiesing| Virtual Theories as a Uniform Interface to Mathematical Data Sources| | 15. 11. 2017 | Michael Kohlhase| Knowledge-Based Interoperability for Mathematical Software Systems| -| 22. 11. 2017 | ???? | ????? | +| 22. 11. 2017 | ----- | ----- | | 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC| | ?.?? 2017| Jonas Butz |Mathematical models as research data via flexiformal theory graphs| -- GitLab