[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?


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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