From f5c9f684426b9de82cfb553df008750d134022bf Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian-rabe@users.noreply.github.com>
Date: Mon, 18 Sep 2017 16:55:31 +0200
Subject: [PATCH] Update Tetrapod-2018.md

---
 events/Tetrapod-2018.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 0cea50f..60de3df 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -12,10 +12,11 @@ Modularity has been recognized in all FLoC-related communities as a critical met
   It is also extremely valuable for comparing and exchanging knowledge across communities, corpora, and tools - a challenge that is both pressing and difficult.
 
 Expanding on the Tetrapod workshop at the conference on intelligent computer mathematics (CICM) 2016, this workshop brings together researchers from a diverse set of research areas in order to create a universal understanding of the challenges and solutions regarding highly structured knowledge bases.
-  Of particular interest are
-- foundational principles such as theory graphs and colimits
-- interchange languages and module systems
-- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
+
+Of particular interest are
+* foundational principles such as theory graphs and colimits
+* interchange languages and module systems
+* languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
 
 ### Organization
 
-- 
GitLab