Deduktionstreffen 2016
September 26, 2016
Alpen-Adria-Universit├Ąt Klagenfurt

Overview

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 everyone interested in deduction can report on their work 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.

Organization

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). [Update] This year's contributions will be presented in regular talks.

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

Deduktionstreffen 2016 is associated with KI 2016.

Invited Speakers

Location

Deduktionstreffen takes place in Room H 9 in the "Mensa-Geb├Ąude M", in Universit├Ątsstra├če, top-right on the university's map.

Schedule

09:30 Start
09:35 Session 1
Invited Talk by Cezary Kaliszyk:
Machine Learning for Automated Reasoning
10:30 Coffee break
11:00 Session 2
Uwe Egly:
Translations from QBFs to First-order Logic
Marco Voigt:
Beyond Standard Miniscoping
Christoph Benzm├╝ller and Dana Scott:
Axiomatizing Category Theory in Free Logic
12:30 Lunch break
14:00 Session 3
Invited Talk by Armin Biere:
Decision Heuristics and Restarts in SAT
Dominic Scheurer:
A General Lattice Model for Merging Symbolic Execution Branches
15:30 Coffee break
16:00 Session 4
Tobias Philipp:
Formalization and Verification of SAT Solvers
Xuan Tung Vu, To Van Khanh and Mizuhito Ogawa:
Extension of ICP for SMT
17:00 General meeting of FGDedSys
Topics will include the location of next year's meeting and a possible merger with FG Deklarative Sprachen.
19:00 Dinner by the lake
at Villa Lido. This is not the conference's big dinner at Magdalensberg, but a get-together of Deduktionstreffen participants and friends.

Registration

Registration is open. For more information, please consult the registration page of KI2016. Note that, as stated there, you may register for INFORMATIK and skip registering for KI if you only attend the Deduktionstreffen.

Program Committee

  • Serge Autexier
  • Bernhard Beckert
  • Christoph Benzm├╝ller (co-chair)
  • Christian 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
  • Christoph Weidenbach

http://fg-dedsys.gi.de/dt2016.html