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

[Jasmin Blanchette]

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.


(Andrei tried to send the email before but it seems not to have reached anybody. Sorry for the spam.)