The 13th TPTP Tea Party

The TPTP Tea Party brings together developers and users of the TPTP World, including (but not limited to):

The TPTP problem library and the TSTP solution library
The TPTP languages, problem formats, and solution formats
The SZS ontology
SystemOnTPTP
The CADE ATP System Competition (CASC)
etc

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

Date, times: 1st July 2024, 9am to 5pm
Place: Co-located with IJCAR 2024. See the IJCAR venue page.
Possible hotels: See the IJCAR accommodation page.
How to get there: See the IJCAR venue page.
Participation: Register for a workshop day using the IJCAR registration page

Program

08:30-09:00 Welcome coffee
09:00-09:10 Geoff - Welcome, thanks, today's mission, flexibility, Zoom cheese and wine
09:10-09:40 Alex, Melanie - The NTF format for non-classical logics
09:40-10:10 Julie, Simon - Representing Sequent-style Derivations in TPTP with SC-TPTP
10:10-10:30 Vacant - got something to say?
10:30-11:00 Break
11:00-11:30 Stephan - Ad-hoc polymorphism (in E)
11:30-12:00 Geoff, MartinD, Jack - Persistent data for ATP systems
12:00-12:30 Geoff, David - ATP systems and StarExec containerization (in the AWS cloud)
12:30-14:00 Lunch
The Vampire Workshop will join the party here
14:00-14:30 MartinS - Vampire's Question Answering Revis(it)ed Again
14:30-15:00 Geoff, CASC panel - Gradually requiring verified proofs/models in CASC
15:00-15:30 TPTP format for Skolemization steps - Frédéric, Geoff
15:30-16:00 Michael, MartinS - Extending the SZS ontology for buggy system behaviours
16:00-16:30 Break
16:30-17:00 Geoff - The new TPTP format for interpretations
17:00-18:00 Action planning == Wish list (with cheese and wine)
- Slides
- Email me geoff@tptp.org

Funding

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

Funding is only for people registered with a EuroProofNet working group - if you are not registered you can register here.
Funding is available for attendance 30th June to 2nd July, with a pro-rated daily allowance of €120.
Funding is available for transport over 100km.
Funding is not available for the registration fee charged by IJCAR.
Funding application procedure: Email Geoff at geoff@tptp.org with the following information:
- Date of arrival and departure in Nancy.
- Estimated train/flight costs, with screenshots of the quotes.
Please read the reimbursement rules.
Deadline for funding applications: 31st May.
Notifications will be emailed out on 3rd June.