The 2023 TPTP Tea Party - a COST EuroProofNet WG2 event

[Geoff Sutcliffe]

Hi TPTP World,

The 2023 TPTP Tea Party will be held on the 13th July at ENS Paris-Saclay). As usual, all topics relevant to the TPTP World are open for discussion, and the following are of specific interest at this event:

• Producing TPTP-compliant proof output.
  
• Tools for verifying (GDV, Dedukti), visualizing, translating (e.g., to and from Dedukti), TPTP proofs.
  
• The new TPTP format for interpretations.
  
• Tools for verifying (AGMV), visualizing (IIV), translating, TPTP interpretations.
  
• TPTP formats and tools for proofs and models in non-classical logics.
  

If there are any other topics you would like to discuss, please email Geoff.

There is funding available for physical attendance, and remote attendance is also possible. Find all the details, including the form to apply for funding, at ...

    https://europroofnet.github.io/tptp23-meeting/

(Note the deadline to apply for funding is 8th May.)

Cheers,

Geoff (with Frédéric Blanqui, Alexander Steen, Pascal Fontaine)

[Geoff Sutcliffe]

Hi TPTP World,

Just a reminder that if you would like to participate the 2023 TPTP Tea Party, and if you want to attend physically apply for funding, the dead line is 8th May.

Cheers,

Geoff