[Event at CIG] Call for Papers: Deduktionstreffen 2024

[geoff at cs.miami.edu]

*** Call for Papers – apologies for cross-posting ***           

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

                       Deduktionstreffen 2024
              part of Theorietag, with GI subgroups on
      Automata and Formal Languages, Logic in Computer Science

             September 17-20, 2024, Göttingen, Germany

        Web site: https://theorietag2024.uni-goettingen.de/
          Submission of abstracts (1-4 page) by August 15

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


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 Informatics Society (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 2024 takes places jointly with the meetings of the
sister groups on Automata and Formal Languages as well as Logic in
Computer Science.

We welcome contributions on all theoretical, experimental and
application aspects of deduction. Informal abstracts (1-4) pages should
be submitted to the organizers, preferably by August 15.

Submissions will be collected and appear in informal proceedings.

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.  

Organizers
-------------------
* Florian Rabe (University of Erlangen-Nuremberg)
* Uwe Waldmann (Max Planck Institute for Informatics)