Logo der GI

DEDUKTIONSTREFFEN 2000 

Zeitplan

Logo Universität des Saarlandes
Die Vorträge von Peter Baumgartner ("Deductive Knowledge Management for Personalized Documents") und Friedrich Eisenbrand (Cutting Plane Methods for propositional logic) müssen aus privaten Gründen leider ausfallen.

Freitag, 6. Oktober

08:45 - 09:00 Eröffnung

09:00 - 10:30 Session 1 (Externe Beitraege), Gebäude 45, Hörsaal 1
Reinhold Letz LMU München Kontextlemmata im Davis-Putnam-Verfahren
Bernd Löchner Universität Kaiserslautern Über die Verwendung grundzusammenführbarer Gleichungen im Gleichheitsbeweisen
Till Mossakowski Universität Bremen HOL-CASL, ein Beweiser für algebraische Spezifikationen

10:30 - 11:00 Kaffeepause in der Rotunde, Gebäude 45

11:00 - 12:00 Session 2 (AG2, MPII Saarbrücken), Gebäude 45, Hörsaal 1
Uwe Waldmann MPII Saarbrücken Superposition and Chaining for Totally Ordered Divisible Abelian Groups
Hans de Nivelle MPII Saarbrücken Improved Redundancy Criteria and their implementation

12:00 - 13:45 Mittagessen am Campus

13:45 - 15:30 Session 3 (AG Siekmann, Saarbrücken), Gebäude 45, Hörsaal 1 `
Jörg Siekmann, Christoph Benzmüller Universität des Saarlandes & DFKI Eine Übersicht zur AG Siekmann
Erica Melis DFKI Saarbrücken Projekt Interaktives Lehrbuch
Roland Vogt DFKI Saarbrücken ??
Christoph Benzmüller The University of Birmingham Towards Agent-based Proof Planning

15:30 - 16:00 Kaffeepause in der Rotunde, Gebäude 45

 16:00 - 17:30 Session 4 (AG Siekmann, Saarbrücken), Gebäude 45, Hörsaal 1
Volker Sorge Universität des Saarlandes Exploring Properties of Residue Classes
Armin Fiedler Universität des Saarlandes Beweiserklärung mit P.rex
Helmut Horacek Universität des Saarlandes Umstrukturierungsoperationen für kognitiv adäquatere Präsentationen maschinell erzeugter Beweise
Carsten Ullrich Universität des Saarlandes Analogie im Beweisplanen

17:30 - 18:00 Kaffeepause in der Rotunde, Gebäude 45

18:00 - 19:00 GI-Fachgruppentreffen der FG 1.2.1 Deduktionssysteme

 ab ca. 20:15 Gemeinsames Abendessen am Markt (Stiefelbräu)

Samstag, 7. Oktober

09:00 - 10:30 Session 5 (Externe Beitraege), Gebäude 45, Hörsaal 1
Stephan Schulz TU München Erlernen von Steuerungswissen für gleichheitsbasiertes Theorembeweisen
Gernot Stenz TU München Aktuelle Arbeiten an e-SETHEO
Serge Autexier Universität des Saarlandes Towards a Uniform Reasoning Style

10:30 - 11:00 Kaffeepause in der Rotunde, Gebäude 45

11:00 - 12:30 Session 6 (AG Siekmann, Saarbrücken), Gebäude 45, Hörsaal 1
Georg Rock DFKI Saarbrücken Hybrid systems in VSE-II
Paul Libbrecht Universität des Saarlandes ActiveMath: Structuring Mathematical Elements for Teaching
Martin Pollet DFKI Saarbrücken Interaktives Beweisplanen
Weitere Kurzankündigungen von Systemdemonstrationen

12:30 - 15:00 Mittagsbuffet in der Rotunde mit fliessendem Übergang zu den Systemdemonstrationen

      Mittagsbuffet & Kaffee: Rotunde, Gebäude 45
      Systemdemonstrationen: Rotunde und Seminarraum SR 16
Serge Autexier, Christoph Benzmüller

Last modified: Sat Sep 16 15:24:50 MEST 2000
Peter Baumgartner,
Ingo Dahn		 Universität Koblenz Slicing Books Helped by a Theorem Prover
Georg Rock, Bruno Langenstein DFKI Saarbrücken Hybrid systems in VSE-II
Hans de Nivelle MPII Saarbrücken To be announced
Carsten Ullrich Universität des Saarlandes Analogie im Beweisplanen
Serge Autexier Universität des Saarlandes INKA 5.0 Development Graph
Martin Pollet DFKI Saarbrücken Interaktives Beweisplanen
Volker Sorge Universität des Saarlandes Exploring Residue Classes
Armin Fiedler Universität des Saarlandes Beweiserklärung mit P.rex
Paul Libbrecht Universität des Saarlandes ActiveMath: Invoking Mathematical Systems in Context
Jürgen Zimmer Universität des Saarlandes Constraintlösen für Beweisplanung
Christoph Benzmüller The University of Birmingham Towards Agent-based Proof Planning