From b1267d25153c57a4623f022041aef9f6ec0fbe92 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Sat, 13 Mar 2021 15:04:43 +0100 Subject: [PATCH] Update index.md --- events/GI2020/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/events/GI2020/index.md b/events/GI2020/index.md index f196dc0..519378f 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -3,7 +3,7 @@ layout: page title: GI Meeting Deduction and Logic --- -The 2020 joint annual meeting of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/) +The 2020/2021 joint annual meeting of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/) (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) will take place in Erlangen. It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/). -- GitLab