Zum Hauptinhalt springen

Aktuelle Mitteilungen

Deduktionstreffen 2023, Mitgliederversammlung und Sprecherwahl

Liebe Mitglieder der Fachgruppe, am Dienstag, den 26. September 2023, findet endlich wieder ein reguläres Deduktionstreffen (mit physischer…
weiterlesen

Mitgliederversammlung und Absage Deduktionstreffen

Liebe Mitglieder der FG Deduktionssysteme, nachdem die Entscheidung gefallen war, die KI 2022 pandemiebedingt als rein virtuelle Veranstaltung…
weiterlesen

Deduktionstreffen 2022 im September 2022

Im September 2022 findet nach pandemiebedingten Einschränkungen endlich wieder ein traditionelles Deduktionstreffen in Präsenz statt.
weiterlesen

Joint Logic Workshop: Zweiter gemeinsamer Workshop FG LogInf und FG DedSys

Am 8. April 2022 findet ein gemeinsamer Online-Workshop der Fachgruppen LogInf (Logik in der Informatik) und DedSys (Deduktionssysteme) statt. Dieser…
weiterlesen

Ergebnisse der Sprecherwahl

Liebe Fachgruppenmitglieder, wie in der E-Mail vom 10. Januar von Daniel Krupka mitgeteilt, wurden wir durch die Wahl im Dezember als Sprecherteam…
weiterlesen

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…
weiterlesen

Joint Logic Workshop: Gemeinsames Jahrestreffen der FG Deduktionssysteme und FG Logik in der Informatik

Das diesjährige Deduktionstreffen (inkl. Jahrestreffen der Fachgruppe) wird im März 2021 als ein gemeinsamer Logik-Workshop zusammen mit der…
weiterlesen

Kostenlose Mitgliedschaft für Studierende, Schüler/-innen und Auszubildende in 2021

Der GI Fachbereich Künstliche Intelligenz verlängert für das Jahr 2021 das Angebot von kostenlosen Mitgliedschaften für Studierende, Schüler/-innen…
weiterlesen

Deduktionstreffen 2020 verschoben

Liebe Fachgruppenmitglieder, wie Sie sicherlich mitbekommen haben, ist es in den letzten Monaten etwas still in unserer Fachgruppe geworden,…
weiterlesen

Protokoll der 32. Mitgliederversammlung

der FG Deduktionssysteme im Rahmen des Deduktionstreffens 2019 am 23.09.2019 bei der KI 2019 in Kassel. Ort und Datum: Universität Kassel,…
weiterlesen

Cookie Einstellungen

Auf unserer Webseite werden Cookies verwendet. Einige davon werden zwingend benötigt, während es uns andere ermöglichen, Ihre Nutzererfahrung auf unserer Webseite zu verbessern. Wir bitten hiermit um Erlaubnis, die folgenden Cookies verwenden zu dürfen. Diese Einwilligung ist freiwillig, nicht für die Nutzung der Website erforderlich und kann jederzeit widerrufen werden.

Essentielle Cookies werden für grundlegende Funktionen der Webseite wie z.B. für die Anmeldung im Mitgliederbereich benötigt. Dadurch ist gewährleistet, dass die Webseite einwandfrei funktioniert.

Name omCookieConsent
Anbieter gi.de
Laufzeit 1 Jahr
Zweck Enthält die gewählten Tracking-Optin-Einstellungen.
Name fe_typo_user / PHPSESSID
Anbieter gi.de
Laufzeit aktuelle Session
Zweck Dieses Cookie ist ein Standard-Session-Cookie von TYPO3. Es speichert im Falle eines Benutzer-Logins die Session-ID. So kann der eingeloggte Benutzer wiedererkannt werden und es wird ihm Zugang zu geschützten Bereichen gewährt.

Diese Gruppe beinhaltet alle Skripte für analytisches Tracking und zugehörige Cookies. Es hilft uns die Nutzererfahrung der Website zu verbessern.

Name _pk_id.1.9dca
Anbieter Matomo
Laufzeit 13 Monate
Zweck Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.
Name _pk_ses.1.9dca
Anbieter Matomo
Laufzeit 30 Minuten
Zweck Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.