TPTP-PMC-20100714

Logistics

Attending: Oliver, Kathy, Ernest, Jonathan

Any issues with last week's summary?

TPTP 4.7.1 schedule is up on http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.7.1/schedule.html
Currently under regular maintenance stream defect fixing development for TPTP 4.7.1. No issues.

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.

=