Skip to content
Snippets Groups Projects
Commit c01af36b authored by Florian Rabe's avatar Florian Rabe Committed by GitHub
Browse files

Update Tetrapod-2018.md

parent 657daf19
No related branches found
No related tags found
No related merge requests found
......@@ -2,8 +2,12 @@
layout: page
title: Modular Knowledge 2018
---
**Workshop on Modular Knowledge (Tetrapod) 2018, at [Federated Logic Conference 2018](http://www.floc2018.org/)/[Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/), Oxford, July 13.**
<p style="text-align:center;font-weight:bold">
Workshop on Modular Knowledge (Tetrapod)<br/>
Oxford, July 13, 2018<br/>
at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/>
affiliated with the [Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/)
</p>
### Description
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment