imageBugfix.png
Fachbereich
KÜNSTLICHE INTELLIGENZ (FBKI)

FG Deduktionssysteme (DedSys)

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.

Die dezidierte Fachgruppenseite der FG Deduktionssysteme finden sie hier: fg-dedsys.gi.de

Veranstaltungen

Sprecher

Sprecher:
Dr. Alexander Steen
Universität Luxemburg, FSTC, Computer Science and Communications Research Unit
6, avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg
(email)  (web)  

Stellv. Sprecher:
Dr. Claudia Schon
Universität Koblenz-Landau, Institute for Web Science and Technologies (WeST)
Universitätsstr. 1, 56070 Koblenz
(email)  (web)