diff --git a/events/GI2020/index.md b/events/GI2020/index.md index f196dc087903a6ce87775034ac08a6c2e2c63114..519378f4ed0496fe076f57020b95104e44c0f6d6 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/).