Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
938 commits behind the upstream repository.
2017-09-01-tetrapod.md 354 B 
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 at the Federated Logic Conference 2018, Cambridge, July 13.