Aktivitätsbericht und Neuwahl des Sprecherteams

Lieber Mitglieder der Fachgruppe Deduktionssysteme,

ein weiteres Jahr im Zeichen der Pandemie neigt sich langsam dem Ende. Trotz der damit verbundenen Einschränkungen und Probleme hat die Fachgruppe im März diesen Jahres einen gemeinsamen Workshop zusammen mit der Fachgruppe "Logik in der Informatik" (LogInf) des Fachbereichs "Grundlagen der Informatik (GInf) als rein digitale Veranstaltung ausgerichtet; hier mit freundlicher Unterstützung von Florian Rabe und Sergey Goncharov (FAU Erlangen-Nürnberg). Für die Unterstützung und die rege Teilnahme wollen wir Sprecher uns auf diesem Wege herzlich bedanken.

Für das nächste Jahr planen wir aktuell ein weiteren gemeinsamen Workshop mit LogInf im März/April, hoffentlich dann in Präsenz in Erlangen. Weitere Details hierzu werden bald bekanntgegeben.

Auch ein klassisches Deduktionstreffen auf der KI 2022 im September 2022 in Trier ist geplant; kann aber natürlich aktuell noch nicht bestätigt werden.

Vielen Dank für Ihr Verständnis, dass die üblichen Aktivitäten der Fachgruppe aktuell schwer planbar bzw. umsetzbar sind.

Bei Fragen, Anregungen, Veranstaltungsvorschlägen und weiteren Anliegen stehen wir gerne zur Verfügung.

Neuwahl des Sprecherteams

In diesem Jahr steht die Neuwahl des Sprecherteams der Fachgruppe Deduktionssysteme an. Die Wahl findet als Online-Wahl statt und wird von der Geschäftsstelle der GI unterstützt.

Im ersten Schritt geht es nun darum, Kandidatinnen und Kandidaten für die Wahl zu finden. Kandidatinnen und Kandidaten müssen ordentliches Mitglied der GI und Mitglied der Fachgruppe sein. Sie müssen der Annahme einer Wahl vorab zustimmen. Wenn Sie kandidieren möchten, erstellen Sie bitte Ihre kurze Kandidatur-Beschreibung und senden Sie sie bis zum 10.12.2021 unter Angabe Ihrer GI-Mitgliedsnummer und Erklärung der Annahme Ihrer etwaigen Wahl an das aktuelle Sprecherteam (sowohl an alexander.steen@uni.lu und an schon@uni-koblenz.de). Das aktuelle Sprecherteam wird ebenfalls für eine zweite Amtszeit kandidieren.

Die endgültige Liste der Kandidatinnen und Kandidaten wird zum Wahlzeitpunkt bekanntgegeben.

Die Durchführung der Wahl findet vom 15.12.2021 bis 31.12.2021 durch die GI-Geschäftsstelle statt. Es werden insgesamt zwei Personen in das Sprecherteam gewählt. Nur Mitglieder der Fachgruppe sind wahlberechtigt.

Für Rückfragen stehen wir natürlich gerne zur Verfügung.

Mit freundlichen Grüßen

Alexander Steen und Claudia Schon