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 13the 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

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: 26th May.
Notifications will be emailed out on 28th May.

Program

08:30-08:50 Welcome coffee
08:50-09:00 Geoff - Welcome, thanks, today's mission, flexibility, Zoom
09:00-09:30 Alex, Geoff - The NTF format for non-classical logics
09:30-10:00 Geoff - The new TPTP format for interpretations
10:00-10:30 Break
10:30-11:00 Michael, Martin - Extending the SZS ontology for buggy system behaviours
11:00-11:30 Julie, Simon - Representing Sequent-style Derivations in TPTP with SC-TPTP
11:30-12:00
12:00-13:30 Lunch
13:30-14:00 Geoff, David - ATP systems and StarExec containerization (in the AWS cloud).
14:00-14:30 Jack, Jasmin, MartinD, Geoff - Persistent data for ATP systems
14:30-15:00 Stephan - Ad-hoc polymorphism (in E)
15:00-15:30 Break
15:30-16:00
16:00-16:30
16:30-17:00
17:00-18:00 Action planning == Wish list (with cheese and wine)
- Slides
- Email me geoff@tptp.org
19:00-22:00 Dinner