diff --git a/projects/mamored.md b/projects/mamored.md index 4e8e7b4f234d45809012259aae3e15dfd16afc2c..4012ccb242a3c701b4b0a82aa35154808fc0c585 100644 --- a/projects/mamored.md +++ b/projects/mamored.md @@ -54,3 +54,9 @@ mathematical knowledge management methods. * formalizing complex device geometries * survey of state of the art in mathematical modeling * generation of LaTeX documents from MMT formalizations of models + 1. 2016, November 9. at WIAS Berlin + **Participants**: Kohlhase, Koprucki, Tabelow + **Topics** + * Models as Research Data + * Theory Graphs and Models + * Mathematical Knowledge Management for Models