Update mamored.md

projects/mamored.md

@@ -26,29 +26,29 @@ mathematical knowledge management methods.
 
 [Project Publications](http://kwarc.github.io/bibs/MaMoReD/)
 
-## Workshops
+### Workshops
 
 <!-- don't introduce new lines here, it confuses the markdown processor; add two spaces at the end of a line for a line break -->
 
-1. 2018, January, 15-17 in Erlangen
-   Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow
-   Topics  
+1. 2018, January, 15-17 in Erlangen  
+   **Participants**: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow  
+   **Topics**  
    * stochastic models (continued)
    * preparation of grant proposal
-1. 2017, November, 4-8 at WIAS Berlin 
-   Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow  
-   Topics  
+1. 2017, November, 4-8 at WIAS Berlin  
+   **Participants**: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow  
+   **Topics**  
    * generation of Python and C code from MMT formalizations of models
    * formal language for solution strategies of mathematical models
    * stochastic models
-1. 2017, March, 21-24 at WIAS Berlin
-   Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow, Teschke  
-   Topics  
+1. 2017, March, 21-24 at WIAS Berlin  
+   **Participants**: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow, Teschke  
+   **Topics**  
    * preparation of journal paper on abstract definition of models
    * formalization of units and quantities in MMT
 1. 2017, January, 16-19 in Erlangen  
-   Participants: Kohlhase, Koprucki, Müller, Rabe, Tabelow  
-   Topics  
+   **Participants**: Kohlhase, Koprucki, Müller, Rabe, Tabelow  
+   **Topics**  
    * MMT tutorial
    * formalization of van Roesbroock Modell for charge transport in semi-conductors in MMT
    * formalizing complex device geometries