Decision Procedures for Logical Theories

Schedule
  • 15.04.2008
  • Motivation/Suggested Topics
     Viorica Sofronie-Stokkermans
  • 21.04.2008
  • Giving (seminar) talks
     Uwe Waldmann
  • 28.04.2008
  • Logic: introductory notions
    Uwe Waldmann
  • 5.05.2008
  • Logical theories/theory combinations: introduction
    Viorica Sofronie-Stokkermans
  • 12.05.2008 free (Pentecost)
  • 19.05.2008
  • Reasoning about uninterpreted function symbols; congruence closure
    Andreas Frische    (Uwe Waldmann)
  • 26.05.2008
  • Linear rational arithmetic: The test point method vs. Fourier-Motzkin
    Hao Ji     (Uwe Waldmann)
  • 2.06.2008
  • Linear integer (Presburger) arithmetic: The automata-theoretic method
    Christine Rizkallah     (Uwe Waldmann)
  • Knowledge representation: introduction
     Viorica Sofronie-Stokkermans
  • 9.06.2008
  • Resolution-based decision procedures for modal logic
    Sergey Sayadyan     (Viorica Sofronie-Stokkermans)
  • Decidability results for description logics: The description logic EL
    Benjamin Roth     (Viorica Sofronie-Stokkermans)
  • 16.06.2008
  • Extensions and combinations of theories
    1. Combinations of theories with disjoint signatures: The Nelson/Oppen Method
     Viorica Sofronie-Stokkermans
  • 2. Combinations of theories over non-disjoint signatures
    Christian Doczkal     (Viorica Sofronie-Stokkermans)
  • 23.06.2008
  • SAT checking modulo a theory
    Ashutosh Gupta     (Uwe Waldmann)
  • Local theory extensions
    Jonathan Tuerpe     (Viorica Sofronie-Stokkermans)
  • 30.06.2008
  • Instantiation-based decision procedures for data structures
    Philip Busch     (Viorica Sofronie-Stokkermans)
  • Decision procedures for recursive data structures with integer constraints
    Megha Khosla     (Viorica Sofronie-Stokkermans)
  • 07.07.2008
  • Verification by abstraction/refinement and interpolation
    Weijia Shao     (Viorica Sofronie-Stokkermans)
  • 14.07.2008
  • Summing up: Decision procedures for verification and KR
    Viorica Sofronie-Stokkermans
  • Final remarks
     Viorica Sofronie-Stokkermans and Uwe Waldmann