diff --git a/events/GI2020/index.md b/events/GI2020/index.md index a7ba8d67a7200c47419d557681719210b836ab89..3feec980f82688d4e60f53d5baa0c678a74deb9b 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -1,3 +1,8 @@ +--- +layout: page +title: GI 2020 Deduction and Logic +--- + # 2020 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssystem und Logic in der Informatik) The meeting will take place in Erlangen organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).