Commit 0cf3babe authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent e3b631a7
Pipeline #2259 passed with stage
in 48 seconds
......@@ -3,8 +3,10 @@ layout: page
title: GI 2020 Deduction and Logic
---
This meeting is the 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)
This meeting is 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 Deduktionssystem und Logic in der Informatik)
It will take place in Erlangen organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
It will take place in Erlangen from 30.09.2020 to 02.10.2020 organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
We are monitoring the situation regarding COVID-19 and will decide in due time whether to postpone or virtualize the meeting.
Further details will follow.
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment