Re: [isabelle] VerifyThis 2019: Lammich & Wimmer did it again!
Congratulations to Peter, Simon, Mohammad and Max! This is a great service to our community.
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
the Isabelle team Peter Lammich + Simon Wimmer won again - same as last year:
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and