Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: for the plan.

Jump to: navigation, search



Attending: Oliver, Kathy, Ernest, Jonathan

Any issues with last week's summary?

  • No issues

Development Discussion


  • Mike Reid had been voted in as TPTP Trace committer.
  • Kathy had nominated Jerome for TPTP Platform.
  • Oliver brought up the fact that we should have Paul nominated for emeritus status. We should also have a general discussion on who else to nominate as the project get archived.
  • TPTP 2010/2011 plan
    • Oliver brought up TPTP's plan to not contribute to Indigo but will continue to contribute to Helios SR1 and SR2 in the 07/07 PC call
    • We'll put together a web page with the plan details so that we could communicate to the community.
    • We won't announce to the general TPTP community until we formalize a communication plan. Details to be updated on 07/28 call.


  • Next PMC meeting on 07/28 10:00 EDT.

Back to the top