From 2f3c785c0cc8a4d505e4d2a8195688456786dc01 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 24 Feb 2022 14:26:57 +0100 Subject: [PATCH] no message --- events/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/events/index.md b/events/index.md index 1dcda3f..ea4470b 100644 --- a/events/index.md +++ b/events/index.md @@ -5,4 +5,4 @@ title: KWARC - Events Some smaller academic events we have organized that do not have separate homepages: * [Tetrapod Workshop at FLOC-2018](Tetrapod2018/index.html) -* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GI2020/index.html) +* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GILogicWorkshops/index.html) -- GitLab