Workshops at FM 2015

FM 2015 will feature the following 9 workshops. The workshops will be organized on June 22 and 23, preceding the main conference. Please see the links below for further information about each workshop.

WorkshopMonday 22ndTuesday 23rdRoom
FMICS
Formal Methods for
Industrial Critical Systems
XX"Logo"
Overture
Overture/VDM: Including extensions
made on top of the platform
X"Perl"
WWV
Automated Specification and
Verification of Web Systems
X"Java",
Keynotes in "Logo"
RefinementX"Python"
ESSS
Engineering Safety and Security Systems
X"Java"
USE
Usages of Symbolic Execution
X"Python"
SETS
Sets and Tools
X"Python"
FMSEET
Formal Methods in Software Engineering Education and Training
X"Postscript"
F-IDE
Formal Integrated
Development Environment
X"Perl"

20th International Symposium on Formal Methods