VerifyThis 2022: Call for Problems
apologies for multiple postings.
VerifyThis is a series of program verification competitions, which has taken place annually since 2011 (with the exception of 2020). Previous competitions in the series have been held at FoVeOOS 2011, FM 2012, Dagstuhl (April 2014), and ETAPS 2015—2021.
Problems from previous competitions can be seen at the archive.
Please send submissions via email to verifythis at googlegroups.com by January 31, 2022.
The most suitable submission for competition will receive a prize.