Deduction Meeting 2008

The annual 'Deduktionstreffen' (Deduction Meeting) is the most important event of the GI-Fachgruppe Deduktionssysteme (DedSys). It is an informal, friendly meeting at which all interested in deduction can report on their work.

The deduction meeting takes places on the 17th and 18th of March, 2008 at the Max-Planck Institute for Informatics (Bld. E1 4, room 024) in Saarbrücken. The participation fee is 25 € which includes the coffee breaks, the guide through the Kasematten and the lunch at the second day (see Program).

The idea is that not a single group is responsible for the program but all of us. The event will consist of scientific contributions in the form of short teaser talks and poster presentations, or demos. Additionally, there are some invited talks.

It is planned that the annual members' reunion of the Fachgruppe takes place in the context of the Deduktionstreffen.

Active Participation

The framework to present your own work is

Teaser talk of 10 minutes (PDF or Powerpoint)
Poster (until size A0, ArchE)
evt. demo (together with the poster, we provide a table and power)

Registration

For registration please send an email to Manuel Lamotte until the 10th of March, 2008 with the following information:

Contact data

additionally, for active participation:

Presentation slides (PDF or Powerpoint), we provide Laptop and Beamer.
Title of the talk
Demonstration yes/no

Please transfer the participation fee until 13th of March, 2008 to the following bank account:

Max-Planck-Institut für Informatik
Account 050021500
Bank Identifier Code (BLZ) 59070000, Deutsche Bank
Reference: Deduction Meeting 08

Program

03/17/2008

13.00-14.00 h: Arrival and Registration
14.00 h: Greeting
14.00-15.30 h: Poster Session 1, contributions:
- Michael Kohlhase, Jacobs University Bremen
  Notation Definitions for the flexible presentation of Logics
- Florian Rabe, Jacobs University Bremen
  Logic Encodings in LF: A completeness criterion
- Chad Brown, Universität des Saarlandes
  Interactive Higher Order Theorem Proving on the Web
- Dominik Dietrich, Universität des Saarlandes
  Assertion Level Proof Verification in Omega
15.30-16.00 h: Coffee Break
16.00-17.30 h: Poster Session 2, contributions:
- Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik
  Efficient reasoning about complex data structures
- Carsten Ihlemann, Max-Planck-Institut für Informatik
  Localize: a reduction prover
- Swen Jacobs, Max-Planck-Institut für Informatik
  Local Reasoning in the Verification of Parameterized Systems
17.30-18.00 h: Meeting of the GI-Deduction Group
19.00 h: Evening Event
Guide through the Kasematten of Saarbrücken, dinner at the restaurant Stiefelbräu
Adress: Kasematten Saarbrücken, historisches Museum, Schlossplatz 15, Saarbrücken
Adress: Restaurant Stiefelbräu, Am Stiefel 2, Saarbrücken

03/18/2008

9.00-10.00 h: Invited Talk 1:
Bernd Finkbeiner, Universität des Saarlandes
Distributed Synthesis
10.00-10.30 h: Coffee Break
10.30-12.00 h: Poster Session 3, contributions:
- Claudia Obermaier, Universität Koblenz-Landau
  Precompilation of Description Logic TBoxes
- Björn Pelzer, Universität Koblenz-Landau
  LogAnswer - Deduction-based Question Answering
- Sebastian Rudolph, Universität Karlsruhe (together with Markus Krötzsch und Pascal Hitzler)
  OWL 1.1 Rules
- Evgeny Kruglov, Max-Planck-Institut für Informatik (together with Christoph Weidenbach)
  Superposition Modulo Linear Arithmethic
12.00-14.00 h: Organized Lunch
14.00-15.00 h: Invited Talk 2:
Gert Smolka, Universität des Saarlandes
Terminating Tableau Systems for Modal Logic with Equality
15.00-15.30 h: Coffee Break
15.30-16.30 h: Poster Session 4, contributions:
- Christoph Benzmueller, Universität des Saarlandes
  Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II
- Frank Theiss, Universität des Saarlandes
  Data Structures in LEO-II
- Sebastian Rudolph, Universität Karlsruhe
  OBDD-based Tbox Reasoning in SHIQ
- Marvin Schiller, Universität des Saarlandes
  A Learning Approach to Proof Step Size in Mathematics Tutoring
16.30 h: Farewell, End

Hotel Contingents

We have reserved rooms in the following hotels. Please book the rooms yourself using the keyword "Deduktionstreffen".

Domicil Leidinger
82 €, breakfast included
Hotel Seewald
65 €, breakfast included, reservation valid until 03/14/08
Hotel Madeleine
65 €, breakfast included, reservation valid until 03/14/08

Arrival/Directions

General instructions: Directions

With Public Transportation

Please use the connection planning tool offered by the public transportation in Saarland:

Take the bus 124 from central station Saarbrücken to Universität fährt.

By Car

Please use the main entrance of the university, "Uni Mitte", Street name "Campus". Please use the keyword "Deduktionstreffen" at the gate. The parking lot is in front of the institute building, the barrier will be open.

Photos

Photos of the event can be found here.

Organization and Contact

Organization

Contact

Please contact Manuel Lamotte for all questions concerning the conference.

Commitee

Important Data

Date: 17th and 18th of March, 2008
Location: Bld. E1 4, room 024
Registration until 03/10/2008
Transfer the participation fee until 03/13/2008
Book the hotel rooms (Domicil Leidinger, Hotel Seewald, Hotel Madeleine)