The 13th TPTP Tea Party

The TPTP Tea Party brings together developers and users of the TPTP World, including (but not limited to): The meeting aims to elicit feedback, suggestions, criticisms, etc, of these resources, in order to ensure that their continued development meets the needs of successful automated reasoning. The meeting will be structured discussion following an agenda of topics that have been suggested and agreed upon in advance. If you would like to receive announcements about the meeting, funding, and more, please join the TPTP World Google Group.

The 13th TPTP Tea Party

Program

Funding

This year funding for a limited number of participants is provided by Working Group 2 Automated Theorem Provers, COST Action 2011 EuroProofNet: