Skip to content
Snippets Groups Projects
Normal view Permalink
2017-09-01-tetrapod.md 354 B
Newer Older
  • Learn to ignore specific revisions
    • Dennis Müller's avatar
    Added post on tetrapod workshop
    Dennis Müller committed
    1 2 3 4 5 6 7 8 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.