Hauptseite | Zusammenfassungen | Anfahrt
Letzte Änderung: 8.9.05
Jahrestreffen 2005 der GI-Fachgruppe Deduktionssysteme (DedSys) als Workshop der KI 2005.
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
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
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
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
Organisation: Christoph Wernhard <wernhard@uni-koblenz.de>