************ Final 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: August 7 (Notification: August 14)
******************************************************************************
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 familial atmosphere, where everyone (not only the German
community) interested in deduction can report on their work in a friendly
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.
---------------------
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 short teaser talk and then discussed
next to a poster (maximal size: A0 portrait) or tool demo.
---------------------
Invited Speakers
Christoph Benzmüller
Patrick Koopmann
---------------------
Submission Guidelines
Please submit an extended abstract (max. 2 pages) via EasyChair:
https://easychair.org/conferences/?conf=dt2023.
Submission deadline:
August 7 (Notification: August 14)
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, co-chair)
* Claudia Schon (Universität Koblenz-Landau, co-chair)
* Viorica Sofronie-Stokkermans (Universität Koblenz-Landau)
* Alexander Steen (University of Greifswald)
* Frieder Stolzenburg (Hochschule Harz)
* Uwe Waldmann (MPI Saarbrücken)
-----
Venue
KI 2023 in Berlin, Germany
---------------
Important dates
* Paper Submission deadline: August 7 (Notification: August 14)
* Workshop: September 26, 2023
---------------
Organizers
Florian Rabe
Claudia Schon
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
