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 |
|---|---|---|---|
| FMICS Formal Methods for Industrial Critical Systems | X | X | "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" |
|
| Refinement | X | "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" |