VerifyThis 2022: Call for Problems
apologies for multiple postings. VerifyThis<https://www.pm.inf.ethz.ch/research/verifythis.html> 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. To extend the problem pool and tend better to the needs of the participants, we are soliciting verification problems for the competition: * A problem should contain an informal statement of the algorithm to be implemented (optionally with complete or partial pseudo code) and the requirement(s) to be verified. * A problem should be suitable for a 60—90 minute time slot. * Submission of reference solutions is strongly encouraged. * Problems with an inherent language- or tool-specific bias should be clearly identified as such. * Problems that contain several subproblems or other means of difficulty scaling are especially welcome. * The organizers reserve the right (but no obligation) to use the problems in the competition, either as submitted or with modifications. * Submissions from (potential) competition participants are allowed. Problems from previous competitions can be seen at the archive<http://www.pm.inf.ethz.ch/research/verifythis/Archive.html>. Please send submissions via email to verifyt...@googlegroups.com<mailto:verifyt...@googlegroups.com> by January 31, 2022. The most suitable submission for competition will receive a prize.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
