Added post on tetrapod workshop

_posts/2017-09-01-tetrapod.md

+---
+layout: post
+author: dmueller
+title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018 
+tags:
+   - event
+---
+The KWARC group is (jointly with with Jacques Carette fro McMaster University) 
+co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.