logo
  • 主页
  • 最近更新
  • 关于我们
计算机科学理论

FWFM 2018

Workshop on Fun With Formal Methods

摘要截稿:
全文截稿: 2018-04-20
开会时间: 2018-07-29
会议难度:
CCF分类: 无
会议地点: Oxford, UK
Overview
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.