Deduktionstreffen 2008

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in einem informellem Rahmen berichten können.

Das Deduktionstreffen findet am 17. und 18. März 2008 am Max-Planck-Institut für Informatik (Geb. E1 4, Raum 024) in Saarbrücken statt. Der Tagungsbeitrag ist 25 €. Darin enthalten sind die Kaffeepausen, die Eintrittskarten für den Besuch der Kasematten sowie das Mittagessen am zweiten Tag (siehe Programm).

Wir alle sind für das Programm verantwortlich. Es wird aus wissenschaftlichen Beiträgen in Form von kurzen "Teaser" Vorträgen und Posterpräsentationen, oder Systemvorführungen bestehen. Dazu kommen eingeladene Vorträge und viel Raum zur Diskussion. Diese Form hat sich bereits beim letzten Treffen in Koblenz bewährt.

Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe statt.

Aktive Teilnahme

Der Rahmen für die Präsentation eigener Arbeiten beinhaltet

10 minütigen "Teaser" Talk (PDF oder Powerpoint)
Poster (bis zur Größe A0, ArchE)
auf Wunsch Systemvorführung (beim Poster, wir stellen Tisch und Strom)

Anmeldung

Bitte melden Sie sich bis zum 10.03.08 per Email bei Manuel Lamotte unter Angabe der folgenden Informationen an:

Kontaktdaten

bei aktiver Teilnahme zusätzlich:

Vortragsfolien (PDF oder Powerpoint), wir stellen Laptop u. Beamer zur Verfügung.
Titel des Vortrags
Systemvorführung ja/nein

Bitte überweisen Sie den Tagungsbeitrag bis zum 13.03.08 an:

Max-Planck-Institut für Informatik
Konto 050021500
BLZ 59070000, Deutsche Bank
Verwendungszweck: Deduktionstreffen 08

Programm

17.03.2008

13.00-14.00 h: Anreise, Registrierung
14.00 h: Begrüßung
14.00-15.30 h: Poster Session 1, Beiträge:
- 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: Kaffeepause
16.00-17.30 h: Poster Session 2, Beiträge:
- 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: Fachgruppentreffen
19.00 h: Abendveranstaltung:
Besuch der Kasematten Saarbrückens, anschließend Abendessen im Restaurant Stiefelbräu
Adresse: Kasematten Saarbrücken, historisches Museum, Schlossplatz 15, Saarbrücken
Adresse: Restaurant Stiefelbräu, Am Stiefel 2, Saarbrücken

18.03.2008

09.00-10.00 h: eingeladener Vortrag 1:

Bernd Finkbeiner, Universität des Saarlandes
Distributed Synthesis
10.00-10.30 h: Kaffeepause
10.30-12.00 h: Poster Session 3, Beiträge:
- 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 (zusammen mit Markus Krötzsch und Pascal Hitzler)
  OWL 1.1 Rules
- Evgeny Kruglov, Max-Planck-Institut für Informatik (zusammen mit Christoph Weidenbach)
  Superposition Modulo Linear Arithmethic
12.00-14.00 h: gemeinsames Mittagessen
14.00-15.00 h: eingeladener Vortrag 2:
Gert Smolka, Universität des Saarlandes
Terminating Tableau Systems for Modal Logic with Equality
15.00-15.30 h: Kaffeepause
15.30-16.30 h: Poster Session 4, Beiträge:
- 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: Verabschiedung, Ende

Hotelreservierungen

Wir haben in den folgenden Hotels Optionen gebucht. Buchungen unter dem Stichwort "Deduktionstreffen" bitte selbst vornehmen.

Domicil Leidinger
82 € inkl. Früstück
Hotel Seewald
65 € inkl. Früstück, Option gilt bis 14.03.08
Hotel Madeleine
65 € inkl. Früstück, Option gilt bis 14.03.08

Anreise/Anfahrt

Allgemeine Beschreibung: Anfahrtskarte

Mit öffentlichen Verkehrsmitteln

Bitte nutzen Sie hierzu den Verbindungsplaner der öffentlichen Verkehrsmittel im Saarland:

Vom Hauptbahnhof Saarbrücken zur Universität fährt die Buslinie 124 ab Bahnhofsvorplatz.

Mit dem Auto

Bitte am Haupteingang der Universität, Uni Mitte, Strassenbezeichnung: "Campus" einfahren. An der Pforte angeben "Deduktionstreffen". Parken bitte vor dem Institutsgebäude, die Schranke bleibt geöffnet.

Fotos

Fotos der Veranstaltung sind hier zu finden.

Organisation und Kontakt

Organisation

Kontakt

Bitte richten Sie alle Anfragen bzgl. des Treffens an Manuel Lamotte.

Komitee

Wichtigste Daten

Termin: 17. - 18.03.08
Ort: Geb. E1 4, Raum 024
Anmeldung bis 10.03.2008
Überweisung Tagungsbeitrag bis 13.03.2008
Hotelbuchungen vornehmen (Domicil Leidinger, Hotel Seewald, Hotel Madeleine)