We’re thrilled to announce that the FM Playground has successfully migrated back to its main production server at Bauhausstrasse 11. The past month saw some major changes, including the relocation of the Faculty of Media.

We started a small overview of the features of the Formal Methods Playground and how to use it. The playlist is availabe on YouTube and expected to grow over time. After a quick overview of the common features of the playground, we illustrate the use of different tools by explaining concrete, small examples.

We migrated traditional worksheets from our Formal Methods for Software Engineering module to GitHub Classroom. Our goals were: Reduce turnaround time (submission, marking, feedback, resubmission) Reduce the number of resubmissions Reduce marking effort Provide fast and actionable feedback to students during assignments We describe the migration from regular worksheets to GitHub Classroom in this experience report:

For the second time, we have taught the module Formal Methods for Software Engineering (FM4SE) at Bauhaus-University Weimar. This time, we have recorded the lectures and uploaded them to YouTube.