Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: Thursday 19 July 2018
Location: Oxford, England
Deadline: Friday 20 April 2018

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).

For more information, see http://persons.iis.nsk.su/en/FWFM2018.

Please note that this newsitem has been archived, and may contain outdated information or links.