The 2020 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) will take place in Erlangen.

It will be organized by Sergey Goncharov and Florian Rabe.

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.

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.