Deduktionstreffen 2022 im September 2022
Im September 2022 findet nach pandemiebedingten Einschränkungen endlich wieder ein traditionelles Deduktionstreffen in Präsenz statt.
Deduktionstreffen 2022 auf der KI 2022 in Trier
Die Sprecher der Fachgruppe Deduktionssysteme (FG DedSys) richten im September 2022 wieder ein Deduktionstreffen aus. Das Deduktionstreffen findet am 19.09. oder 20.09. (wird bald feststehen) als eintägiger Workshop in Präsenz statt und soll insbesondere die deutsche Deduktionscommunity zusammenbringen und einen formlosen Austausch ermöglichen. Selbstverständlich sind auch Beiträge von außerhalb Deutschlands und von Nichtmuttersprachler/-innen willkommen; daher wird der Workshop auf Englisch durchgeführt. Erfreulicherweise wurde das Deduktionstreffen 2022 bereits als Workshop auf der KI 2022 in Trier angenommen.
Wie üblich ist das Deduktionstreffen eine Veranstaltung mit einer informellen und freundlichen Atmosphäre, bei dem jede Person in einem umgänglichen Rahmen über ihre Arbeit berichten kann. Ein besonderer Fokus des Workshops liegt auf jungen Wissenschaftlern/-innen und Studierenden, die besonders ermutigt werden, ihre laufenden Forschungsprojekte einem breiteren Publikum vorzustellen. Auf dem Deduktionstreffen wird ebenfalls die Mitgliederversammlung der Fachgruppe stattfinden.
Jetzt Beitrag einreichen
Bis zum 1. August können Beiträge in Form von kurzen Abstracts (max. zwei Seiten) in englischer Sprache via EasyChair eingereicht werden (https://easychair.org/conferences/?conf=ki2022, Track "W2: Deduktionstreffen"). Um die Beteiligung möglichst schwellenlos zu gestalten, können die Einreichungen auch kurz gehalten werden. Es kann über geplante, aktuell laufende oder abgeschlossene Vorhaben bzw. Projekte berichtet werden. Frühe Einrechungen
("Early Bird"-Frist: 1. Juli) werden bereits bis Mitte Juli begutachtet, sodass sich Studierende mit akzeptierten Beiträgen für FB KI-Reisestipendien bewerben können (https://fb-ki.gi.de/reisestipendien); frühes Einreichen lohnt sich also!
Details können dem Veranstaltungseintrag (https://fg-dedsys.gi.de/veranstaltung/deduktionstreffen-2022) entnommen werden. Wir würden uns sehr freuen, viele spannende Beiträge zu sehen!
Workshop "Practical Aspects of Automated Reasoning" im August in Haifa, Israel
Das Sprecherteam der Fachgruppe richtet ebenfalls den diesjährigen Workshop "Practical Aspects of Automated Reasoning" (PAAR 2022) aus, der für viele Fachgruppenmitglieder interessant sein könnte. Im Zeitraum vom 11.8.-12.8. stehen 14 akzeptierte Beiträge, sowie zwei eingeladene Vorträge von Geoff Sutcliffe (U Miami) und Josef Urban (Czech Technical University) auf dem Programm. Weitere Informationen finden Sie auf der Workshop-Website (https://paar2022.github.io/).