From cde3d00d5138827dbac9596bdfeb8871a282a1bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de> Date: Fri, 1 Sep 2017 18:06:41 +0200 Subject: [PATCH] Added post on tetrapod workshop --- _posts/2017-09-01-tetrapod.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 _posts/2017-09-01-tetrapod.md diff --git a/_posts/2017-09-01-tetrapod.md b/_posts/2017-09-01-tetrapod.md new file mode 100644 index 0000000..4328f8a --- /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. -- GitLab