This a quick reminder for you to complete the survey on the computer games based around formalisms https://survey.bbisping.de/613437 . (Hit “Submit” if you haven't yet!)

I'll use the feedback as it's present at the start of the coffee break (~10:30) to announce the winners at the end of the break.

If you want to find some of the games again in the future, go to https://pr.mtv.tu-berlin.de/ .

Thanks for playing and

Best regards,

Ben