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,


From: cl-isabelle-users-bounces at <cl-isabelle-users-bounces at> on behalf of Tobias Nipkow <nipkow at>
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 MHonArc.