[Matryoshka-devel] CASC travel prize in THF division

Stephan Schulz schulz at eprover.org
Tue Jun 12 10:58:14 CEST 2018


Hi Jasmin!

It’s a fake prize, anyways! It comes with money, bit it does not come
with the time to actually do the travelling ;-). I still have not
gone to Munich....

Bye,

   Stephan

P.S.: Why does Isabelle not print proofs?

> On 12 Jun 2018, at 10:25, Blanchette, J.C. <j.c.blanchette at vu.nl> wrote:
> 
> Hi all,
> 
> FYI: For some years now (with some gaps), I have been offering a special prize to winners of an interesting category at CASC. This year, the prize will go to the winner of the THF division:
> 
> 	http://www.cs.miami.edu/~tptp/CASC/J9/
> 
> Geoff writes: "Jasmin Blanchette at the Vrije Universiteit Amsterdam has contributed a travel prize for the THF division. The winner will be invited to visit Jasmin's team at the university for up to one week. The (European segments of) travel and the hotel expenses will be covered by the Matryoshka project."
> 
> Since Isabelle doesn't output proofs, it won't be participating this year; and our Matryoshka provers are not yet lambda-capable, so we expect a fight between Satallax and Leo-III -- or, who knows, Vampire?
> 
> Cheers,
> 
> Jasmin
> 
> _______________________________________________
> matryoshka-devel mailing list
> matryoshka-devel at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/matryoshka-devel

--
------------------------------ It can be done! ---------------------------------
          Please email me as schulz at eprover.org (Stephan Schulz)
--------------------------------------------------------------------------------




-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 236 bytes
Desc: Message signed with OpenPGP
URL: <http://lists.gforge.inria.fr/pipermail/matryoshka-devel/attachments/20180612/8f49571a/attachment.sig>


More information about the matryoshka-devel mailing list