At the KeY Symposium 2019 (Manigod, France), the VerifyThis Challenge has been announced.
The challenge is currently rudimentary and will be updated soon.
A mailing list is available for participants: verifythis-ltc@lists.kit.edu.
For question, you can directly get in touch with organisers via the Github issues or email (verifythis-ltc-request@lists.kit.edu).
Good luck.
Marieke Huisman, Raul Monti, Mattias Ulbrich, Alexander Weigl