Skip to content
Snippets Groups Projects
Commit 33c197e7 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent 39c7000b
No related branches found
No related tags found
No related merge requests found
Pipeline #2434 passed
......@@ -3,10 +3,13 @@ layout: page
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.
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.
It will be 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.
The meeting was originally planned to take place from 30.09.2020 to 02.10.2020.
But after discussions among the speakers of the GI groups and the local organizers, we have decided to postpone the meeting due to the current COVID-19-related uncertainties.
Further details will follow.
\ No newline at end of file
We are currently hoping to have the meeting after the winter semester, e.g., in Spring 2021.
We are monitoring the situation regarding COVID-19 and post further updates here.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment