As discussed today, we ask you to write a summary of your talk and the seminar. The submission deadline is 11.03.2019. If you want to receive feedback on your summary, please upload a draft until 25.02.2019. More detail on the summary can be found here.
Your Hyperproperties Team