max planck institut
mpii logo Minerva of the Max Planck Society

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


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

additionally, for active participation:

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




Hotel Contingents

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


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 of the event can be found here.

Organization and Contact



Please contact Manuel Lamotte for all questions concerning the conference.


Important Data