diff --git a/_posts/2017-09-01-tetrapod.md b/_posts/2017-09-01-tetrapod.md index 4328f8aca3bd96dc58381cee0b6c7efdcb375263..4e7e13f5e0f971105e5d08a612876fb905dbb10d 100644 --- a/_posts/2017-09-01-tetrapod.md +++ b/_posts/2017-09-01-tetrapod.md @@ -5,5 +5,5 @@ title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018 tags: - event --- -The KWARC group is (jointly with with Jacques Carette fro McMaster University) +The KWARC group is (jointly with with Jacques Carette from 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.