Call for paper 〔OPEN〕

My Submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

The annual meeting Deduktionstreffen/Deduction Meeting is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone 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.

Organisation
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait).

The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.

Deduktionstreffen 2018 is associated with the Luxembourg Logic for AI Summit (LuxLogAI), which brings together several renowned conferences and events, including RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018) and the MIREL 2018 workshop.

Committee
  • Serge Autexier
  • Bernhard Beckert
  • Christoph Benzmüller
  • Jasmin Blanchette
  • Jürgen Giesl
  • Matthias Horbach (co-chair)
  • Dieter Hutter
  • Manfred Kerber
  • Christoph Kreitz
  • Jens Otten
  • Florian Rabe
  • Stephan Schulz
  • Viorica Sofronie-Stokkermans
  • Volker Sorge
  • Alexander Steen (co-chair)
  • Uwe Waldmann (co-chair)
  • Christoph Weidenbach
Call for paper

Important date

2018-08-05
Draft paper submission deadline
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Sep 21

    2018

    Conference Date

  • Aug 05 2018

    Draft paper submission deadline

Contact Information
Scan the QR code×