Dear D-CON participants, 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