imageBugfix.png
Fachgruppe
DedSys

Willkommen bei der Fachgruppe Deduktionssysteme

Die Fachgruppe Deduktionssysteme (DedSys) ist Teil des Fachbereichs Künstliche Intelligenz der Gesellschaft für Informatik (GI). Sie fördert den Wissenstransfer im Bereich formaler Beweisverfahren zur Lösung von Aufgabenstellungen, die in der Mathematik und Informatik Verwendung finden. Die Fachgruppe fördert dabei insbesondere den Austausch von theoretischen und praktischen Ergebnissen sowie von Werkzeugen.

Themenschwerpunkte der Fachgruppe sind zum Beispiel:

  • Automatisches Beweisen,
  • Programmverifikation und -synthese,
  • Term-Ersetzungssysteme,
  • Unifikationstheorie,
  • Programmieren und Planen mit Logik.

Die Fachgruppe veranstaltet regelmässig Klausurtagungen, sowie Arbeitstreffen zu speziellen Themen aus dem Bereich der Deduktionssysteme. Die Fachgruppe unterstützt die Zusammenarbeit und den Erfahrungsaustausch mit anderen interessierten Gruppen und Organisationen - insbesondere aus Anwendungsgebieten - durch Ausrichtung jährlicher gemeinsamer Arbeitstreffen. Die Fachgruppe bietet außerdem fachliche Unterstützung bei Ausbildungs-, Unterrichts-, und Berufsfragen im Bereich Deduktionssysteme.

Aktuell wird die Fachgruppe von ihren Sprechern Claudia Schon und Alexander Steen verteten.

Die Mitgliedschaft in der Fachgruppe Deduktionssysteme können Sie direkt über die GI beantragen. Sie ist aber nicht notwendig an eine Mitgliedschaft bei der GI gebunden. Sollten Sie kein GI-Mitglied werden wollen, ist auch eine assoziierte Mitgliedschaft möglich.

Aktuelle Mitteilungen

Die Wahl der Sprecher wurde elektronisch durch eine E-Mail-Abstimmung durchgeführt. Die Wahl begann nach Verstand der Wahl-Ankündigungs-Email am...
weiterlesen
Ort und Datum: Universität Luxemburg, Belval Campus, 21. September 2018 Beginn: 17:00 Uhr, Ende 17:40 Uhr Sprecher: Christoph Benzmüller und Matthias...
weiterlesen
Ort und Zeit: AAU Klagenfurt am 26.9.2016 Sprecher: Christoph Benzmüller und Matthias Horbach Protokoll: Matthias Horbach Tagesordnung Begrüßun...
weiterlesen

Nächste Veranstaltungen

Keine Veranstaltungen geplant.

Vergangene Veranstaltungen