From 2f4a0e2caf3f75af00b59845e586f20cfbe586a3 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 17 Jan 2018 20:30:48 +0100
Subject: [PATCH] Update mamored.md

---
 projects/mamored.md | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/projects/mamored.md b/projects/mamored.md
index a937173..4e8e7b4 100644
--- a/projects/mamored.md
+++ b/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
-- 
GitLab