We give a brief overview of the VerifyThis long-term challenge series. Goal of these challenges is to demonstrate practical value of formal methods, to evaluate the current tools on specifying and verifying requirements of realistic software systems, and to bring together the community for an exchange on the state-of-the-art and future directions. An emphasis is placed on encouraging collaboration between participating research groups, not just at a conceptual level but also towards integrating verification tools and approaches, e.g., sharing technical artifacts such as specifications and proofs. Website:        https://verifythis.github.io/ Mailing List:        verifythis-ltc@lists.kit.edu