[Club2] Tue, Aug. 16 (TODAY) talks by Nick Smallbone and Nik Sultana

[Andrei Popescu]

Dear All, 

Today, right after Nick Smallbone's talk at 14:00, we have another talk by Nik Sultana.  

Nik Sultana
Isabelle and TPTP THF
====================================================
Tue. Aug 16, 15:00, MI 00.09.055 ("Alan Turing")

Nik will present the TPTP THF format and the LEO-II higher-order 
automatic theorem prover. He will then describe some of his work to 
build a Sledgehammer extension to reconstruct LEO-II proofs and to 
compile Isabelle problems to the simpler THF language.

Best regards, 
  Andrei