FMSEET 2016 - Formal Methods in SW Engineering Education and Training Workshop

Quality submissions covering curriculum development, empirical studies, personal or institutional experience, conceptual or theoretical work are particularly invited. The list below indicates areas in the focus of FMSEET'16. Submissions on additional topics consistent with the central themes of the conference are also welcome
Methodological aspects of formal methods;
Teaching high quality formal specifications;
Formal methods in the software engineering curriculum;
Best practices in formal methods education;
Successes and failures of formal methods;
Cooperative projects to further education and training;
Languages and tools for formal methods education;
Formal engineering methods versus formal methods;
New challenges due to agility and open source;
Continuous education to cope with technological change;