The 1st TPTP World Workshop
(TPTPWoWo)

Cancelled