IW Meeting 2009-06-25

From Inference Web

Jump to: navigation, search


  • debrief on remaining issues with the paper that will impact the proposal
  • discuss proposal
  • discuss technical progress
  • logistics


  • proposal
    • (geoff) description of TPTP community
    • (geoff) contributions to TPTP community, (significant and novel)
    • (deb, geoff, paulo) results from previous funding
    • (deb) broader impact beyond TPTP community, CEDAR, VSTO
    • (li) logistics,
      • submit by July 18
      • a wiki website,
      • budget directly send to Deb
      • (geoff, paulo) confirm fastlane, CV
    • (li) technical thread
      • representation and construction of combined proof (algorithms and initial results)
      • knowledge discovery on combined proof
        • find better proof in combined proof; and quality metrics for proofs
        • find critical path in combined proof
Personal tools