From c01af36b1f8a10e0a6107ee2aae3a13ada8c7175 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian-rabe@users.noreply.github.com> Date: Mon, 18 Sep 2017 17:25:46 +0200 Subject: [PATCH] Update Tetrapod-2018.md --- events/Tetrapod-2018.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md index ef135b4..0080aa1 100644 --- a/events/Tetrapod-2018.md +++ b/events/Tetrapod-2018.md @@ -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 -- GitLab