menu

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)

It will take place in Erlangen organized by Sergey Goncharov and Florian Rabe.

Further details will follow.