The 2020/2021 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.
The 2020-2022 annual meetings 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 jointly in Erlangen.
They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
In fact, due to COVID-19 pandemic, only online meetings took place.
### Online Meeting in Spring 2022
The meeting will take place online on April 8.
The call for contributions is [here](cfp_2022.txt).
### Online Meeting in Spring 2021
The meeting tool place online on March 26.
The call for contributions is [here](cfp.txt).
The meeting took place online on March 26.
The call for contributions is [here](cfp_2021.txt).
The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
