VSL 2014: VIENNA SUMMER OF LOGIC 2014
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 

Call for Papers

Motivation

Organization

Program Committee