[Event at CIG] [Call for Participation] Deduktionstreffen (DT 2023)

[Prof. Dr. Claudia Schon]

*** Call for Participation – 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


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


Join us for the Deduktionstreffen in Berlin on the 26th of September, 2023.
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.

---------------------

The program contains two invited talks:

Christoph Benzmüller, Who finds the short proof?

Patrick Koopmann, Explaining Reasoning for Description Logic Ontologies

And the business meeting (Mitgliederversammlung) of the Interest Group for Deduction Systems.


The full program can be found here: https://fg-dedsys.gi.de/veranstaltung/deduktionstreffen-2023



Best regards,

Florian Rabe
Claudia Schon