From 4e4f303a40854fb734d799d611aaf3f24ce9a225 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 23 Feb 2022 13:49:33 +0000 Subject: [PATCH] Update index.md --- events/GI2020/index.md | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/events/GI2020/index.md b/events/GI2020/index.md index 53b8aef..6488239 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -3,15 +3,21 @@ layout: page title: GI Meeting Deduction and Logic --- -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. +The 2020-2022 annual meetings 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 jointly in Erlangen. +They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/). -It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/). +In fact, due to COVID-19 pandemic, only online meetings took place. + +### Online Meeting in Spring 2022 + +The meeting will take place online on April 8. +The call for contributions is [here](cfp_2022.txt). ### Online Meeting in Spring 2021 -The meeting tool place online on March 26. -The call for contributions is [here](cfp.txt). +The meeting took place online on March 26. +The call for contributions is [here](cfp_2021.txt). The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town). -- GitLab