Neues Leitungsgremium der GI-Fachgruppe "Logik in der Informatik" gewählt

Im März 2020 wurde das neue Leitungsgremium der GI-Fachgruppe "Logik in der Informatik" gewählt:
- Olaf Beyersdorff, Uni Jena (Sprecher)
- Manuel Bodirsky, TU Dresden
- Thomas Schneider, Uni Bremen (stellv. Sprecher)
- Lutz Schröder, FAU Erlangen-Nürnberg.
Wir danken ganz herzlich für das uns in der Wahl ausgesprochene Vertrauen.

Herzlichen Dank auch an die bisherigen Mitglieder der Fachgruppenleitung für ihre Arbeit in der zu Ende gegangenen Legislaturperiode:
- Dietrich Kuske (TU Ilmenau)
- Manfred Kufleitner (Loughborough University)
- Martin Lange (Universität Kassel)
- Thomas Schneider (Universität Bremen)