menu

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 from 30.09.2020 to 02.10.2020.

It will be organized by Sergey Goncharov and Florian Rabe.

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.