Dear all,

A Dagstuhl meeting on Principles of Contract Languages had been

because of the Covid-19 pandemic.

Last April a number of groups participated in the online event for the Verify This Long Term Challenge 2020. As a follow-up on this, we would like to seize the opportunity to use the challenge and the available solutions to stipulate a discussion on the features that an ideal specification language would possess for this purpose. We will use the recent Verify This Long Term Challenge as a show case.

Friday, 27th November 2020 10:00 - 12:00 UTC

Click here for more details.

We hope to talk to you all on November 27!

Mattias, Raúl, Alexander and Marieke