FormSera Workshop at ICSE 2012

FormSERA (Formal Methods in Software Engineering: Rigorous and Agile Approaches) is a workshop that was organized under the umbrella of ICSE 2012 (International Conference on Software Engineering), the major yearly event in the field of software engineering. The workshop focussed on bridging the gap between the mainstream software engineering community and the formal methods community.

An invited lecture was given by Professor Michael Jackson (The Open University and University of Newcastle) , titled: “Formalisms and Structures”. His talk was sponsored by FME, and was perceived by the attendees as very inspiring. The main program consisted of eight scientific paper presentations, which had been thoroughly reviewed by an international program committee (50% acceptance rate). A “round table” discussion concluded the workshop.

[Details are available at Also keep an eye on this site for any follow-ups!

Author: Bernhard Aichernig