Update index.md

events/GI2020/index.md

 ---
 layout: page
-title: GI 2020 Meeting on Deduction and Logic
+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/) (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) will take place in Erlangen from 30.09.2020 to 02.10.2020.