The following workshops will be colocated with SEFM 2014.
- HOFM 2014 – http://hofm2014.wordpress.com/ : 1st Workshop on Human-Oriented Formal Methods: From Readability to Automation
- MoKMaSD 2014 – http://www.di.unipi.it/mokmasd/symposium-2014/index.html : 3rd International Symposium on Modelling and Knowledge Management applications: Systems and Domains
- OpenCert 2014 – http://www.di.unipi.it/opencert/workshop-2014/ : 8th International Workshop on Foundations and Techniques for Open Source Software Certification
- SaFoMe 2014 – http://babel.ls.fi.upm.es/safome2014/ : 1st Workshop on Safety and Formal Methods
- WS-FMDS 2014 – http://antares.sip.ucm.es/ws-fmds2014/ : 4th Workshop on Formal Methods in the Development of Software