Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

2017-09-01-tetrapod.md

Blame
    • 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.