Logic List Mailing Archive

Deduktionstreffen 2022

19-20 Sep 2022
Trier, Germany

First Call for Abstracts

Deduktionstreffen 2022, affiliated with the German KI 2022
September 19 or 20, 2022, University of Trier, Trier, Germany


The annual meeting Deduktionstreffen is the prime activity of the Interest 
Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German 
Society of Informatics (Gesellschaft für Informatik). It is a meeting with a 
familiar, friendly atmosphere, where everyone (not only the German community) 
interested in deduction can report on their work in an informal setting.

A special focus of the Deduktionstreffen is on young researchers and students, 
who are particularly encouraged to present their ongoing research projects to a 
wider audience. Another goal of the meeting is to stimulate networking effects 
and to foster collaborative research projects.


Deduktionstreffen 2022 is affiliated with the German KI 2022, which brings 
together academic and industrial researchers from all areas of AI, providing an 
ideal place for exchanging news and research results of intelligent system 

We welcome contributions on all theoretical, experimental and application 
aspects of deduction. Accepted abstracts are first presented in an approx. 15 
minute teaser talk and then discussed next to a poster (maximal size: A0 
portrait). The exact maximal time per talk (at least 15min) will be adjusted on 
short notice depending on the overall number of submissions.


Submission is open to everybody interested in deduction systems. Please submit 
an extended abstract (1-2 pages) of your contribution via EasyChair:

Early bird submission: July 1 (Notification: July 13)
Standard submission: August 1 (Notification: August 13)

Early bird submission is meant to allow planning reliability to interested 
students and researchers, e.g. if they would like to apply for travel grants. 
In particular, there is travel support funded by the AI chapter of the German 
Gesellschaft für Informatik (for members, see 
https://fb-ki.gi.de/reisestipendien/). Membership to the GI and FG DedSys is 
free of charge for students!

There will be no formal publication of the accepted submissions. The 
organizers, however, leave open the possibility to organize post-proceedings, 
possibly as joint workshop proceedings with other workshops at the KI 2022.

PROGRAM COMMITTEE (to be completed)

Franz Baader (TU Dresden)
Bernhard Beckert (Karlsruhe Institute of Technology)
Christoph Benzmüller (University of Bamberg and Freie Universität Berlin)
Jasmin Blanchette (Vrije Universiteit Amsterdam)
Ulrich Furbach (University of Koblenz-Landau)
Jürgen Giesl (RWTH Aachen)
Florian Rabe (University of Erlangen-Nuremberg)
Claudia Schon (Universität Koblenz-Landau, co-chair)
Viorica Sofronie-Stokkermans (Universität Koblenz-Landau)
Alexander Steen (University of Greifswald, co-chair)
Frieder Stolzenburg (Hochschule Harz)
Uwe Waldmann (MPI Saarbrücken)


Alexander Steen
Claudia Schon
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam