diff --git a/events/GI2020/index.md b/events/GI2020/index.md new file mode 100644 index 0000000000000000000000000000000000000000..a7ba8d67a7200c47419d557681719210b836ab89 --- /dev/null +++ b/events/GI2020/index.md @@ -0,0 +1,5 @@ +# 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/). + +Further details will follow. \ No newline at end of file