Skip to content
Snippets Groups Projects
Normal view Permalink
2017-09-01-tetrapod.md 355 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 
    ---
layout: post
author: dmueller
title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018 
tags:
   - event
---
    Michael Kohlhase's avatar
    typo  
    Michael Kohlhase committed
    8 
    The KWARC group is (jointly with with Jacques Carette from McMaster University)
    Dennis Müller's avatar
    Added post on tetrapod workshop
    Dennis Müller committed
    9 
    co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.