Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

2017-09-01-tetrapod.md

Blame
    • Forked from KWARC / kwarc.info / www
    857 commits behind the upstream repository.
    2017-09-01-tetrapod.md 355 B 
    layout: post
author: dmueller
title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018 
tags:
   - event

    The KWARC group is (jointly with with Jacques Carette from McMaster University) co-organizing a workshop on Modular Knowledge at the Federated Logic Conference 2018, Cambridge, July 13.