Posted by Dr Serena Coetzee on 3 Feb 2010, 12:51 (last modified on 4 Feb 2010, 20:48)

It has just been confirmed by the organisers of the SEFM'2010 conference (Software Engineering and Formal Methods), that the 2nd Workshop on Formal Methods and Agile Methods, FM+AM'2010 will be hosted under the umbrella of that conference in Pisa, Italy, on the 17th of September this year.

Stefan Gruner of this department's research group on Software Science and Formal Method will again act as the chairman of the FM+AM'2010 workshop. The aim of this workshop is to find new solutions towards the 'reconciliation' of two different 'schools' of thought in software engineering: one of which strongly emphasises the issue of development speed (Agile Methods) whereas the other one strongly emphasises the issue of verification and correctness (Formal Methods). Stefan Gruner will soon begin to assemble an international Programme Committee for FM+AM'2010, and the first call for papers will be distributed internationally during the 1st quarter of this year.