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
- Würzburg23.09. - 27.09.2024 Fachbereich KI
- Möhnesee-Günne01.03. - 08.03.2024 Fachbereich KI
- 26.09. - 29.09.2023 Fachbereich KI
- Trier22.09.2022 Fachbereich KI
- 20.09.2022 Fachgruppe Kognition Fachbereich KI Fachgruppe WR
- Trier19.09. - 23.09.2022 Fachbereich KI
- 28.09.2021 Fachbereich KI Fachgruppe KIS
- 27.09. - 01.10.2021 Fachbereich KI
- Bamberg21.09. - 25.09.2020 Fachbereich KI
- Wien19.02. - 21.02.2020 Fachbereich KI
- Bremen22.11. - 24.11.2019 Fachbereich KI
- Kassel25.09.2019 Fachbereich KI
- Kassel23.09.2019 Fachgruppe Kognition Fachbereich KI
- Kassel23.09. - 26.09.2019 Fachbereich KI
- Cottbus, Senftenberg09.09. - 13.09.2019
- Cottbus, Senftenberg09.09. - 13.09.2019
- Cottbus, Senftenberg09.09. - 13.09.2019
- Ávila26.06. - 28.06.2019
- Berlin25.09.2018 Fachbereich KI Fachgruppe WR Fachgruppe Kognition
- Berlin24.09.2018 Fachbereich KI Fachgruppe PuK
- Berlin24.09. - 28.09.2018
- Esch-sur-Alzette21.09.2018 Fachbereich KI Fachgruppe DedSys
- Sevilla18.09. - 20.09.2018 Fachbereich KI Fachgruppe WM/KI
- Berlin14.09. - 17.09.2018 Fachbereich KI Fachgruppe DeklProg
- Berlin14.09.2018 Fachbereich KI Fachgruppe DeklProg
- Frankfurt03.09. - 06.09.2018 Fachbereich KI Fachgruppe DeklProg
- Mannheim22.08. - 24.08.2018 Fachbereich KI Fachgruppe KDML
- Mannheim09.08. - 24.08.2018 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML
- Älvsjö09.07. - 12.07.2018 Fachbereich KI Fachgruppe WM/KI
- Funchal01.11. - 03.11.2017 Fachbereich KI Fachgruppe WM/KI
- Dortmund26.09.2017 Fachbereich KI Fachgruppe WR Fachgruppe Kognition
- Dortmund25.09. - 29.09.2017
- Würzburg20.09.2017 Fachbereich KI Fachgruppe DeklProg
- Würzburg17.09.2017 Fachbereich KI Fachgruppe DeklProg
- Rostock11.09. - 13.09.2017 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML
- Leipzig23.08. - 26.08.2017 Fachbereich KI Fachgruppe VKI
- Karlsruhe05.04. - 07.04.2017
- Karlsruhe05.04. - 07.04.2017 Fachbereich KI Fachgruppe WM/KI
- Möhnesee-Günne10.03. - 17.03.2017 Arbeitskreis IK Fachbereich KI
- Klagenfurt am Wörthersee28.09. - 30.09.2016
- Klagenfurt am Wörthersee27.09. - 30.09.2016 Fachbereich KI Fachgruppe VKI
- Klagenfurt26.09.2016 Fachbereich KI Fachgruppe DedSys
- Klagenfurt am Wörthersee26.09.2016 Fachbereich KI Fachgruppe DedSys
- Bremen26.09.2016 Fachbereich KI Fachgruppe WR Fachgruppe Kognition
- Klagenfurt am Wörthersee26.09.2016 Fachbereich KI Fachgruppe PuK
- Potsdam12.09. - 14.09.2016 Fachbereich KI Fachgruppe WM/KI
- Potsdam12.09. - 14.09.2016 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML
- Aachen04.09.2016 Fachbereich KI Fachgruppe ABIS
- Möhnesee-Günne04.03. - 11.03.2016 Arbeitskreis IK Fachbereich KI
- Trier07.10. - 09.10.2015 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML
- Trier07.10. - 17.10.2015 Fachbereich KI Fachgruppe WM/KI
- Dresden22.09.2015 Fachbereich KI Fachgruppe WR Fachgruppe Kognition
- Dresden21.09. - 25.09.2015
- Berlin02.08. - 03.08.2015 Fachbereich KI Fachgruppe DedSys
- Möhnesee-Günne02.03. - 17.03.2015 Arbeitskreis IK Fachbereich KI
- Aachen08.10. - 10.10.2014 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML
- Stuttgart23.09.2014 Fachbereich KI Fachgruppe Kognition
- Stuttgart22.09. - 26.09.2014
- München01.09. - 07.12.2018 Fachbereich KI Fachgruppe ABIS
- Bamberg07.10. - 09.10.2013 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML Fachgruppe ABIS
- Koblenz17.09.2013
- Koblenz17.09.2013
- Koblenz17.09.2013 Fachbereich KI Fachgruppe Kognition
- Koblenz16.09. - 17.09.2013
- Bamberg30.09. - 03.10.2012 Fachbereich KI Fachgruppe Kognition
- Saarbrücken24.09.2012 Fachbereich KI Fachgruppe Kognition
- Koblenz17.09.2012
- Dortmund12.09. - 14.09.2012 Fachbereich KI Fachgruppe WM/KI Fachgruppe KDML Fachgruppe ABIS
- 04.10.2011
- Potsdam03.10. - 06.10.2010 Fachbereich KI Fachgruppe Kognition
- Paderborn15.09.2009 Fachbereich KI Fachgruppe Kognition
- Paderborn15.09. - 18.09.2009
- Dresden28.09. - 01.10.2008 Fachbereich KI Fachgruppe Kognition
- Kaiserslautern23.09. - 26.09.2008 Fachbereich KI Fachgruppe VKI
- Dresden23.09.2008 Fachbereich KI Fachgruppe Kognition
- Möhnesee-Günne07.03. - 14.03.2008 Arbeitskreis IK Fachbereich KI
- Leipzig24.09. - 26.09.2007 Fachbereich KI Fachgruppe VKI
- Saarbrücken18.03. - 21.03.2007 Fachbereich KI Fachgruppe Kognition
- Möhnesee-Günne09.03. - 17.03.2007 Arbeitskreis IK Fachbereich KI
- Erfurt19.09. - 20.09.2006 Fachbereich KI Fachgruppe VKI
- Koblenz11.09. - 13.09.2005 Fachbereich KI Fachgruppe VKI
- Bremen15.09.1998 Fachbereich KI Fachgruppe Kognition
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. Sprecherin:
Dr. Claudia Schon
Universität Koblenz-Landau, Institute for Web Science and Technologies (WeST)
Universitätsstr. 1, 56070 Koblenz
(email) (web)