From 2f31d92e8b9c55e01dba33bdec50636b6817fbc7 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Fri, 12 Feb 2021 10:32:37 +0100 Subject: [PATCH] no message --- events/GI2020/index.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/events/GI2020/index.md b/events/GI2020/index.md index 509a503..304c714 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -8,10 +8,16 @@ The 2020 joint annual meeting of the GI groups [Deduction Systems](https://fg-de It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/). +# Online Meeting in Spring 2021 + The meeting will take place online on March 26. -The meeting was originally planned to take place from 30.09.2020 to 02.10.2020. +The call for contributions is [here](cfp.txt). + +# COVID-19 Situation and Future Meetings + +The meeting was originally planned to take place offline in Erlangen from 30.09.2020 to 02.10.2020. But after discussions among the speakers of the GI groups and the local organizers, we have decided to postpone the meeting due to the current COVID-19-related uncertainties. -We are currently hoping to have an in-person meeting in autumn 2021. We are monitoring the situation regarding COVID-19 and post further updates here. +We are currently hoping to have an in-person meeting in autumn 2021. -- GitLab