The 14th TPTP Tea Party

The TPTP Tea Party (TPTPTP) 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 of the TPTP World meets the needs of successful automated reasoning. The 2025 TPTPTP will focus on "Representation, Verification, and Visualization of TPTP Format Proofs and Models" (but other topics might sneak in).

The schedule below looks like a regular workshop, but presenters can make maximally a 20 minute (optimally 15 minute) presentation, slides optional. Then it's an open forum.

Program