diff --git a/_posts/2017-09-01-tetrapod.md b/_posts/2017-09-01-tetrapod.md new file mode 100644 index 0000000000000000000000000000000000000000..4328f8aca3bd96dc58381cee0b6c7efdcb375263 --- /dev/null +++ b/_posts/2017-09-01-tetrapod.md @@ -0,0 +1,9 @@ +--- +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.