adding a MaMoReD Workshop

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