Donating to the TPTP and Related Projects

Thank you for coming this far, and considering making a donation to the TPTP and related projects. Getting grants for this work is not easy!

The benefits of making a donation include:

Contributing to the continued research, development, and maintenance of the TPTP.
Priority response to requests and questions.
Donations are tax deductable (at least in the USA).
Your name on the TPTP web page acknowledging your support, if you want.
A letter of thanks from the University of Miami.

Making a donation is easy:

Decide how much - 100 units of a reasonable currency (not Zimbabwean dollars) is a good start.
Write a cheque or money order made out to "Department of Computer Science (403980)", or contact the department office manager to arrange another form of payment.
Send your donation with a letter stating that the donation is "an unrestricted gift to the University of Miami, to be used by Dr. Geoff Sutcliffe in the Department of Computer Science, for the TPTP and related projects". The address is:
    Department of Computer Science (TPTP Project)
    University of Miami
    P.O. Box 248154
    Coral Gables
    Florida 33124-4245, USA
You will receive an email acknowledging receipt, and subsequently an official letter of thanks.

There are about active 300 users of the TPTP, so if 10% pony up each year, that'll make a real contribution to the project!

Premium Support Contracts

Premium support for TPTP users is available for US$200 per year. Premium support provides TPTP users with priority response to support requests, regarding the TPTP and the related service infrastructure. Contact Geoff for more details.