Workshop W6

Deduktionstreffen 2017

Abstract

The annual meeting Deduktionstreffen 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 all members and friends of the German deduction community are invited to present, discuss and share their latest research results and ideas in an informal setting.

A particular 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.

We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts will be presented as short teaser talks followed by a poster presentation.

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