[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

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



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