From b1bbb56dfce29bb2503b7006fc474934b3f39ef2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Fri, 1 Sep 2017 13:32:07 +0200
Subject: [PATCH] tetrapod workshop

---
 events/Tetrapod-2018.md | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 052fc12..0cea50f 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -1,8 +1,8 @@
 ---
 layout: page
-title: Tetrapod 2018
+title: Workshop on Modular Knowledge (Tetrapod) 2018
 ---
-## 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.
@@ -17,21 +17,21 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
 - interchange languages and module systems
 - languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
 
-## Organization
+### Organization
 
-### Organizers
+#### Organizers
 
 - Jacques Carette, McMaster University (carette@mcmaster.ca)
 - Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
 - Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
 
-### Location
-[http://www.floc2018.org/](Federated Logic Conference 2018, Cambridge), July 13.
+#### Location
+[Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.
 
-### Estimate of Audience Size</A>
+#### Estimate of Audience Size
 20 - 30
 
-### Format
+#### Format
 
 - There will be 8 invited speakers, each of which will be asked to present a specific topic.
 - Each speaker will give a 15-minute presentation on that topic that is followed by a 
@@ -39,14 +39,14 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
 - There will not be a call for papers or other contributions.
      However, there will be a call for participation that will include the invited speakers and their topics.
 
-### Invited speakers and topics</A>
+#### Invited speakers and topics
 
 Invitations in progress
 
-### Procedures for selecting papers</A>
+#### Procedures for selecting papers
   The organizers will select invited speakers and topics.
   No selection of submissions is needed.
 
-### Dissemination</A> 
+#### Dissemination
   A report will be written after the workshop that includes abstracts of the invited talks 
   and the highlights of the discussions during the workshop.
-- 
GitLab