FTP 2007 - International Workshop on First-Order Theorem Proving
Liverpool, UK, September 12-13 2007

Liverpool Waterfront at Night

Accepted Papers

  1. David Basin, Carlos Caleiro, Jaime Ramos and Luca Vigano'. Labeled tableaux for distributed temporal logic.
  2. Jean-Francois Couchot and Thierry Hubert. A Graph-based Selection Strategy of Hypotheses.
  3. Hans de Nivelle. Redundancy in the Geometric Resolution Calculus
  4. Radu Grigore and Michal Moskal. Edit and Verify.
  5. Ullrich Hustadt. What First Order Theorem Provers Do For Monodic Temporal Reasoning.
  6. Humayun Kabir and Geoff Hamilton. Extending Poitin to Handle Explicit Quantification.
  7. Hugh McGuire. ProofBuilder, an Interactive Prover for Students, with Extensive Capabilities.
  8. Fabrice Nahon, Claude Kirchner and Helene Kirchner. Inductive Proof Search Modulo.
  9. Renate Schmidt. Developing Modal Tableaux and Resolution Methods via First-Order Resolution.
  10. Georg Struth. Reasoning Automatically about Termination and Refinement.