tetrapod minor

657daf19 · Dennis Müller · 463e8d23 · 657daf19
Commit 657daf19 authored 7 years ago by Dennis Müller
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
 ---
 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.