Email Gateway (May 17 2023 at 15:18): Email Gateway (May 17 2023 at 15:18):From: Alexander Steen <alx.steen@gmail.com>
* 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;
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;
Programme Committee
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
Last updated: Jan 04 2025 at 20:18 UTC