FWFM Home Page
Overview
FWFM is one-day workshop affiliated with the 26th International Conference on Computer Aided Verification.
Important Dates
Sunday, May 25, 2014: extended date for extended abstract or paper submission;
Sunday, June 01, 2014: acceptance notification;
Sunday, June 08, 2014: updated abstracts and papers due for pre-proceedings;
Sunday, July 13, 2014: FWFM workshop in Vienna.
Registration Dates
Please refer to the main registration page of VSL at http://vsl2014.at/registration/ for further details, fees amd methods of payment.
Aims and Scope
The workshop is designed for
- enjoying the art and beauty of Formal Methods,
- discussing experience how to make Formal Methods easy,
- presenting application of Formal Methods to puzzles, to games, etc.,
- non-standard problem solving outside programming and Computer Science,
- everything else about Fun and Joy of Formal Methods.
Please check further details in