Re: [isabelle] VerifyThis 2019: Lammich & Wimmer did it again!



Congratulations to Peter, Simon, Mohammad and Max! This is a great service to our community.


Best wishes,


Andrei


________________________________
From: cl-isabelle-users-bounces at lists.cam.ac.uk <cl-isabelle-users-bounces at lists.cam.ac.uk> on behalf of Tobias Nipkow <nipkow at in.tum.de>
Sent: 09 April 2019 17:15
To: Isabelle Users
Subject: [isabelle] VerifyThis 2019: Lammich & Wimmer did it again!

At the annual VerifyThis competition at TACAS last weekend
https://conf.researchr.org/track/etaps-2019/verifythis-2019-papers
http://www.pm.inf.ethz.ch/research/verifythis.html
the Isabelle team Peter Lammich + Simon Wimmer won again - same as last year:

http://www.pm.inf.ethz.ch/research/verifythis/Archive/2018.html

What is more, a second Isabelle team, Mohammad Abdulaziz + Max Haslbeck, won the
Most Distiguished Tool Feature prinze for a concurrency library.

Unfortunately the 2019 results are not online yet.

Maybe this success will imspire some other Isabelle teams to compete at
VerifyThis next year?

Tobias




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.