The 2015 SEFM Workshops provide a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.

The workshops below will be co-located with SEFM 2015.

Monday 7 September 2015

• ATSE – 6th Workshop on Automating Test case design, Selection and Evaluation
• HOFM – Human-Oriented Formal Methods: From Readability to Automation

Tuesday 8 September 2015

• MoKMaSD – 4th International Symposium on Modelling and Knowledge Management applications: Systems and Domains
• VERY*SCART: The Art of Service Composition and Formal Verification for Self-* Systems (joint workshop comprising VERY* and SCART)