Deduktionstreffen 2020 verschoben

Liebe Fachgruppenmitglieder,

wie Sie sicherlich mitbekommen haben, ist es in den letzten Monaten etwas still in unserer Fachgruppe geworden, inbesondere was unser jährliches Deduktionstreffen (inkl. Mitgliederversammlung) angeht. Ausgehend von den sehr erfolgreichen Deduktionstreffen 2018 in Luxemburg und Deduktionstreffen 2019 in Kassel, sollte dieses Jahr ein spezieller Fokus auf die deutsche Logik-Community gerichtet werden; und zwar unabhängig von einer größeren Konferenz, an die sich das Deduktionstreffen sonst andockt. So war es geplant, einen mehrtägigen Workshop zusammen mit der Fachgruppe Logik in der Informatik (LogInf) aus dem Fachbereich  "Grundlagen der Informatik" zu veranstalten und so einen  fachbereichsübergreifenden Austausch zu ermöglichen. Freundlicherweise hatten sich Lutz Schröder und Michael Kohlhase (FAU Erlangen-Nürnberg) bereit erklärt, dieses Treffen auszurichten (unter Koordination von Florian Rabe).   

Auf Grund der noch aktuell anhaltenden Einschränkungen in Verbindung mit der Corona-Pandemie sehen wir uns allerdings gezwungen, diese Pläne -- zumindest für dieses Jahr -- aufzugeben. Der Schutz Ihrer Gesundheit hat bei der Organisation einer solchen Veranstaltung natürlich oberste Priorität. Da aktuell keine ausreichende Planungssicherheit besteht, haben wir uns entschlossen dieses Jahr kein Deduktionstreffen auszurichten. Wir wollen dennoch anpeilen, im nächsten Jahr ein solches gemeinsames Treffen auf die Beine zu stellen.

Wir hoffen, dass Sie unsere Entscheidung nachvollziehen können. Auf diesem Wege möchten wir noch auf die diesjährige  Mitgliederversammlung des Fachbereichs KI hinweisen:

Diese findet am 24.9.2020, 17:30-18:30, virtuell auf der KI 2020 statt (https://ki2020.uni-bamberg.de). Die Einwahldaten für den reservierten  virtuellen Sitzungsraum werden rechtzeitig von den  Fachbereichssprechern bekannt gegeben. Wir würden uns sehr freuen, Sie dort zu sehen!

Liebe Grüße

Alexander Steen
Claudia Schon