diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 44841d94a1517a2fe6b65f574451759bf9cfab8e..ef135b48dfa42accec7c4777099fc50105c5be07 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.