From 273bbdaa5ff7a5ad5d1be87a7512ddc9f30149e6 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian-rabe@users.noreply.github.com>
Date: Tue, 10 Oct 2017 16:16:03 +0200
Subject: [PATCH] Update Tetrapod-2018.md

---
 events/Tetrapod-2018.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 8c2c92c..e45a9d4 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -9,7 +9,7 @@ at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/>
 affiliated with the [Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/)
 </p>
 
-### Description
+#### Description
 
 Mathematics, logics, and computer science support a rich ecosystem of formal knowledge.
   This involves many interrelated human activities such as modeling phenomena and formulating conjectures, proofs, and computations, and organizing, interconnecting, visualizing, and applying this knowledge.
@@ -25,8 +25,6 @@ Of particular interest are
 * interchange languages and module systems
 * languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
 
-### Organization
-
 #### Organizers
 
 - Jacques Carette, McMaster University (carette@mcmaster.ca)
-- 
GitLab