diff --git a/events/GI2020/index.md b/events/GI2020/index.md index 6d94412dcab05dd020ed865aede463ada662efb8..a570c9896a0805636e25e41f7ab394d27e00fca3 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -4,10 +4,11 @@ title: GI Meeting Deduction and Logic --- 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. +(Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) 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/). -In fact, due to COVID-19 pandemic, only online meetings took place. +In fact, due to COVID-19 pandemic, online meetings took place. +An in-person meeting of Deduction System is planned for 2022 as a part of the KI conference. ### Online Meeting in Spring 2022