From 229e021f765a771510f85055549694c339de4647 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 26 Feb 2020 16:25:31 +0100 Subject: [PATCH] Update index.md --- events/GI2020/index.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/events/GI2020/index.md b/events/GI2020/index.md index a7ba8d6..3feec98 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -1,3 +1,8 @@ +--- +layout: page +title: GI 2020 Deduction and Logic +--- + # 2020 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssystem und Logic in der Informatik) The meeting will take place in Erlangen organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/). -- GitLab