The annua l meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDed Sys) of the AI Chapter (FB KI) of the German Socie ty of Informatics (Gesellschaft für Informatik). I t is a meeting with a familiar, friendly atmospher e, where everyone (not only the German community) interested in deduction can report on their work i n an informal setting.
\nA special focus o f the Deduktionstreffen is on young researchers an d students, who are particularly encouraged to pre sent their ongoing research projects to a wider au dience. Another goal of the meeting is to stimulat e networking effects and to foster collaborative r esearch projects. Deduktionstreffen 2022 is affili ated with the German KI 2022, which brings togethe r academic and industrial researchers from all are as of AI, providing an ideal place for exchanging news and research results of intelligent system te chnology.
\nWe welcome contri butions on all theoretical, experimental and appli cation aspects of deduction. Accepted abstracts ar e first presented in an approx. 15 minute teaser t alk and then discussed next to a poster (maximal s ize: A0 portrait). The exact maximal time per talk (at least 15min) will be adjusted on short notice depending on the overall number of submissions. S ubmission is open to everybody interested in deduc tion systems. Please submit an extended abstract ( 1-2 pages) of your contribution via EasyChair.
\n