From 657daf19e89d0b96ad1a5c99b7a30d2db6b925f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Mon, 18 Sep 2017 17:07:49 +0200
Subject: [PATCH] tetrapod minor

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

diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 44841d9..ef135b4 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -1,7 +1,10 @@
 ---
 layout: page
-title: Workshop on Modular Knowledge (Tetrapod) 2018
+title: Modular Knowledge 2018
 ---
+
+**Workshop on Modular Knowledge (Tetrapod) 2018, at [Federated Logic Conference 2018](http://www.floc2018.org/)/[Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/), Oxford, July 13.**
+
 ### Description
 
 Mathematics, logics, and computer science support a rich ecosystem of formal knowledge.
-- 
GitLab