Email Gateway (Aug 22 2022 at 19:39): Email Gateway (Aug 22 2022 at 19:39):From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s
Email Gateway (Aug 22 2022 at 19:39):From: Andrei Popescu <A.Popescu@mdx.ac.uk>
Congratulations to Peter, Simon, Mohammad and Max! This is a great service to our community.
Best wishes,
Andrei
Email Gateway (Aug 22 2022 at 19:39):From: Peter Lammich <lammich@in.tum.de>
Unfortunately the 2019 results are not online yet.
They are!
http://www.pm.inf.ethz.ch/research/verifythis/Prizes.html
Last updated: Apr 25 2024 at 01:08 UTC