no message

events/GI2020/index.md

@@ -8,7 +8,7 @@ The 2020-2022 annual meetings of the GI groups [Deduction Systems](https://fg-de
 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, online meetings took place.
-An in-person meeting of Deduction System is planned for 2022 as a part of the KI conference.
+An in-person meeting of Deduction Systems is planned for 2022 as a part of the KI conference.
 
 ### Online Meeting in Spring 2022