Following the inaugural event last year, the 2nd International Workshop on Formal Methods and Agile Methods is taking place in Pisa, Italy, September 17 2010.
According to the website, “the aim of this workshop is to seek and to discuss novel ideas about combining FM and AM in the domain of software development, with the goal of making formally sound development methods faster, and rapid methods of development more formally sound. This goal could be approached in various different ways, for example by providing tool support to an ‘agile’ software development group, or by adopting ‘agile’ practices such as pair work into the domain of formal modelling.”
More information can be found at http://fm-am-2010.tripod.com/index.html