[Event at CIG] CfP Deduktionstreffen 2023

[Prof. Dr. Claudia Schon]

*** Call for Papers – apologies for cross-posting ***                                                                             ******************************************************************************
                                                                            
                                                                             
        	    DT-2023: Deduktionstreffen
                   -- co-located with KI 2023, 46th German Conference on Artificial Intelligence  -- 
                                                                            
                     September 26, 2023, Berlin, Germany

        Web site: https://fg-dedsys.gi.de/veranstaltung/deduktionstreffen-2023
        Submission link: https://easychair.org/conferences/?conf=dt2023
        Submission deadline: 
		Early bird submission: July 1 (Notification: July 13)
		Standard submission: August 1 (Notification: August 13)


******************************************************************************


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.


Organization
---------------------
Deduktionstreffen 2023 is affiliated with the German KI 2023, 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 technology.

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 Guidelines
---------------------
Submission is open to everybody interested in deduction systems.
Please submit an extended abstract (max. two pages) of your contribution via EasyChair: https://easychair.org/conferences/?conf=dt2023.

Submission deadline: 
	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 2023.


Topics include, but are not limited to:
--------------------------------------
* automated reasoning in propositional, first-order, higher-order, and
  non-classical logics;
* implementation of provers (SAT, SMT, resolution, superposition, tableau,
   instantiation-based, rewriting, logical frameworks, etc.);
* automated reasoning tools for all kinds of practical problems and
  applications;
* practical experiences, usability aspects, feasibility studies;
* evaluation of implementation techniques and automated reasoning tools;
* performance aspects, benchmarking approaches; non-standard approaches to
  automated reasoning, non-standard forms of automated reasoning, new
  applications;
* implementation techniques, optimisation techniques, machine learning,
  strategies and heuristics, fairness;
* tools or methods that support prover development;
* system descriptions and demos.  


Programme Committee
-------------------
* Franz Baader (TU Dresden)
* Jasmin Blanchette (Ludwig-Maximilians-Universität, München)
* Jürgen Giesl (RWTH Aachen)
* Cezary Kaliszyk (University of Innsbruck)
* Jens Otten (University of Oslo)
* 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)
PC members list to be completed.


Venue
-----
KI 2023 in Berlin, Germany

Important dates
---------------
* Paper Submission deadline: 
	Early bird submission: July 1 (Notification: July 13)
	Standard submission: August 1 (Notification: August 13)
* Workshop: September 26, 2023


Organizers
---------------
Florian Rabe and Claudia Schon