Home

Anmeldung

Organisation

Programm

Übersicht

---

Termine

bis 12. Februar 2007:

Übernachtungsbuchung durch Koblenz-Touristik

bis 26. Februar 2007:

elektronische Einsendung von Titel und Abstrakt

bis 28. Februar 2007:

Rückmeldung

26. März 2007:

Ab 13:00: Anmeldung, 14:00: Beginn

27. März 2007:

Spätnachmittag: Ende

---

Relevante Links

Fachgruppe Deduktionssysteme

Gesellschaft für Informatik

Frühere Treffen

Deduktionstreffen 2007 26. - 27. März 2007, Koblenz

---

Programm

Eingeladener Vortrag [Di 9:00-10:00]

• Renate Schmidt, University of Manchester:
  
  Developing Modal Tableaux and Resolution Methods via First-Order Resolution

Podiumsdiskussion [Di 16:00-17:00]

• Organisiert von Serge Autexier
  
  Sind unsere Deduktionsysteme praxistauglich?
  
  mit Bernhard Beckert, Ulrich Furbach, Thomas Hillenbrand, Peter Schneider-Kamp

Beiträge

---

Session I [Mo 14:00-15:30]

---

• Yue Ma, AIFB, Karlsruhe University (zusammen mit Pascal Hitzler, Zuoquan Lin)
  
  An Ordered-Resolution Decision Procedure for Four-valued Description Logics

• Markus Aderhold, TU Darmstadt:
  
  Improvements in Formula Generalization

• Chad E. Brown, Universität des Saarlandes:
  
  Translating Landau's Construction of the Real Numbers

• Christoph Benzmüller, Cambridge University & Universität des Saarlandes (zusammen mit Larry Paulson, Frank Theiß, Arnaud Fietzke)
  
  The LEO-II Project

• Claudia Obermaier, Universität Koblenz:
  
  Knowledge Compilation for Description Logics

---

Session II [Mo 16:30-18:00]

---

• Christoph Wernhard, Universität Koblenz:
  
  Tableau Methods for Projection Computation and Knowledge Compilation

• Christoph Gladisch, Universität in Koblenz (zusammen mit Bernhard Beckert)
  
  Structure and Semantic Properties of Extracted Specifications

• Marc Wagner, Universität des Saarlandes:
  
  Integrating the Text-Editor TeXmacs with the Proof Assistance System OMEGA using PLATO

• Frank Theiß, Universität des Saarlandes (zusammen mit Christoph Benzmüller, Arnaud Fietzke)
  
  Term Indexing for the LEO-II Prover

• Jan Murray, Universität Koblenz:
  
  Hybrid Behavior Specification for Physical Multiagent-Teams

---

Session III [Di 11:00-12:30]

---

• Clemens Ley, LMU München (zusammen mit François Bry, Tim Furche, Benedikt Linse)
  
  Rdflog - a Rule Based Query Language for RDF

• Peter Schneider-Kamp, RWTH Aachen (zusammen mit Jürgen Giesl, Alexander Serebrenik, René Thiemann)
  
  Automated Termination Analysis for Logic Programs by Term Rewriting

• Dominik Dietrich, Universität des Saarlandes (zusammen mit Mark Buckley, Marvin Schiller, Ewaryst Schulz)
  
  Verification of Proof Steps for Tutoring at the Assertion Level

• Claus-Peter Wirth, Universität des Saarlandes:
  
  Ceterum censeo Descente Infinie est disputandum

• Uwe Bubeck, Universität Paderborn (zusammen mit Hans Kleine Büning)
  
  Dependency Quantified Boolean Formulas

---

Session IV [Di 14:00-15:30]

---

• Vladimir Klebanov, Universität Koblenz (zusammen mit Bernhard Beckert)
  
  Efficient symbolic execution of concurrent programs

• Serge Autexier, DFKI GmbH & Universität des Saarlandes (zusammen mit Dominik Dietrich, Marvin Schiller, Marc Wagner)
  
  Enabling Proof Assistance Systems to Provide Services in Texteditors: The Issue of Truth Maintenance

• Björn Pelzer, Universität Koblenz, AGKI:
  
  E-KRHyper - Hyper Tableau Theorem-Prover with Equality

• Hans de Nivelle, University of Wroclaw, Wroclaw, Poland:
  
  Geometric Resolution

• Manfred Kerber, University of Birmingham & Universität Koblenz (zusammen mit Martin Pollet)
  
  Informal and Formal Representations in Mathematics

Page maintained by Manfred Kerber, University of Birmingham, School of Computer Science, Birmingham B15 2TT, England. Last update: 4 May 2007