At the (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:

For question, you can directly get in touch with organisers via the Github issues or email (

Good luck.

Marieke Huisman, Raul Monti, Mattias Ulbrich, Alexander Weigl