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.
|Workshop||Monday 22nd||Tuesday 23rd||Room|
Formal Methods for
Industrial Critical Systems
Overture/VDM: Including extensions
made on top of the platform
Automated Specification and
Verification of Web Systems
Keynotes in "Logo"
Engineering Safety and Security Systems
Usages of Symbolic Execution
Sets and Tools
Formal Methods in Software Engineering Education and Training