Hauptseite | Zusammenfassungen | Anfahrt


Deduktionstreffen 2005 - Programm

Letzte Änderung: 8.9.05

Jahrestreffen 2005 der GI-Fachgruppe Deduktionssysteme (DedSys) als Workshop der KI 2005.

10:00-11:30
Session 1: Deduktion auf dem Weg in die mathematische Praxis (1); Deduktion für Datenbanken

Begrüßung

Clemens Ballarin, TU München
Module für Beweissprachen

Armin Fiedler, Universität des Saarlandes
Textbook Proofs Meet Formal Logic --- The Problem of Underspecification and Granularity

Stefan Brass, Universität Halle
Automatisches Beweisen bei der Erkennung semantischer Fehler in SQL-Anfragen

11:30-12:00 Pause
12:00-13:45
Session 2: Deduktion in der Verifikation; Termersetzungssysteme

Eingeladener Vortrag
Hans de Nivelle, Max-Planck Institut für Informatik, Saarbrücken
Formal Verification of an Off-Line Result Checker for Priority Queues

Rene Thiemann, RWTH Aachen
Proving and Disproving Termination of TRSs using the Dependency Pair Framework

Dominik Haneberg, Universität Augsburg
Ein ASM-basierter Ansatz zur Verifikation von Sicherheitsprotokollen

13:45-14:45 Mittagspause mit Mittagessen
14:45-16:00
Session 3: Deduktion für die Wissensrepräsentation

Alex Sinner, Universität Koblenz-Landau
KRHyper --- In Your Pocket

Christoph Wernhard, Universität Koblenz-Landau
Adapting DPLL for the Computation of Propositional Forgetting

Peter Baumgartner und Fabian M. Suchanek, Max-Planck Institut für Informatik, Saarbrücken
Model-Generation Theorem Proving for First-Order Logic Ontologies

16:00-16:30 Pause
16:30-18:00
Session 4: Deduktion auf dem Weg in die mathematische Praxis (2)

Dominik Dietrich, Universität des Saarlandes
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity

Michael Kohlhase, International University Bremen
Semantic Markup with TeX/LaTeX --- Towards an Integration of Deduction into the Publication Workflow

Jahresmitgliederversammlung der Fachgruppe

Ab 18:00 Barbecue auf dem Campus


Organisation: Christoph Wernhard <wernhard@uni-koblenz.de>

Hauptseite | Zusammenfassungen | Anfahrt