At the https://www.key-project.org/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: email@example.com.
For question, you can directly get in touch with organisers via the Github issues or email (firstname.lastname@example.org).
Marieke Huisman, Raul Monti, Mattias Ulbrich, Alexander Weigl