--- 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.