From 5d12fff6633d8ca46215c91b1fde17ef2c3c9b12 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 26 Feb 2020 16:15:46 +0100 Subject: [PATCH] Add new file --- events/GI2020/index.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 events/GI2020/index.md diff --git a/events/GI2020/index.md b/events/GI2020/index.md new file mode 100644 index 0000000..a7ba8d6 --- /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 -- GitLab