Please note that this newsitem has been archived, and may contain outdated information or links.
19 July 2018, Third Workshop on Fun With Formal Methods (FWFM-2018), Oxford, England
The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 ( http://www.floc2018.org/ ) in affiliation with 30th International Conference on Computer Aided Verification ( http://cavconference.org/2018/ ) 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.
Extended abstracts and papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. Papers already published somewhere are also welcome but must make it explicit their publication status (for including to proceedings).
Please note that this newsitem has been archived, and may contain outdated information or links.