[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
We would like to invite you to join the first
VerifyThis Collaborative Long-Term Challenge!
https://verifythis.github.io
or watch the video: https://vimeo.com/357544904
VerifyThis is a program verification competition, which is annually held at
ETAPS. During the competition, participants work for 90 minutes on relatively
small but intriguing verification challenges.
With the VerifyThis Long-Term Challenge we would like to see how far the formal
verification community can get within 6 months if they collaborate to verify a
real-world software application.
The VerifyThis Long-Term Challenge is starting now, and it will be open until
29th of February, 2020. We would like to encourage everybody in the formal
verification community to participate in this challenge, and to use their tools
and technique to tackle parts of the challenges.
More information about the challenge is available at
https://verifythis.github.io.
On this page, you can register your team, and subscribe to our mailing list.
The mailing list will be used to for communication and collaboration between
the participants, and it will allow you to stay up to date with the other
teams' progress.
The results of the challenge will be presented during VerifyThis@ETAPS2020. In
addition, we plan to prepare a special results with (individual and
collaborative) solutions.
We look forward to your contribution!
Mattias Ulbrich & Alexander Weigl --- Karlsruhe Institute of Technology,
Germany.
Marieke Huisman & Raul Monti --- University of Twente, Netherlands.
