FWFM 2018 - Third Workshop Fun With Formal Methods

The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 FLOC-2018 logo
in affiliation with 30th International Conference on Computer Aided Verification (link is external)
The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods. Not an exhaustive list of topics of FWFM follows:
fascinating examples of use of FM in SE;
simple but interesting educational examples of FM;
FM for puzzles, games and entertainment;
FM and programming contests;
FM elsewhere (outside software and hardware);
everything and anything related to popularization of FM.