diff --git a/events/GI2020/2022/cfp.txt b/events/GI2020/2022/cfp.txt index deb2ed8d7704245a8fa1f7e1e6ef0a8523cd564d..638f942c5756aba847fc7b0b3e885fd22c555cfc 100644 --- a/events/GI2020/2022/cfp.txt +++ b/events/GI2020/2022/cfp.txt @@ -42,9 +42,9 @@ We welcome contributions on all theoretical, experimental and applied aspects of formal logic, reasoning and deduction. Accepted contributions are presented in a talk of approx. 15-30 minutes (depending on the overall number of accepted contributions), including -discussion. The implementation of a digital poster session is planned. +discussion. -The Joint Logic Workshop will also host the annual general assemblies +The Joint Logic Workshop will also host the annual general assembly (Mitgliederversammlungen) of FG LogInf. The Joint Logic Workshop is kindly hosted by the Theoretical Computer Science