CFP: 2nd Workshop on Formal and Agile Methods, FM+AM-2010



CFP: 2nd Workshop on Formal and Agile Methods, FM+AM-2010

From: Stefan G <sgruner_at_cs.up.ac.za>
Date: Mon, 08 Mar 2010 11:55:47 +0200
Message-ID: <4B94C9A3.4010107@cs.up.ac.za>
##########################################################
CALL FOR PAPERS!
FM+AM'10: 2nd Workshop on Formal Methods and Agile Methods
Affiliated to the SEFM'10 Conference, Pisa, September 2010
##########################################################

Formal Methods (FM) and Agile Methods (AM) are often seen
as antagonists in the field of software methodololgy, but
this does not necessarily be the case.

For this workshop we are seeking novel contributions that
can be used for making rapid development techniques more
formally sound, as well as for accelerating the speed of
formally sound development techniques. This could be done
for example, by:
+ providing the "agile team" with sound CASE tool support
+ or by adopting "agile" work-modes (such as: working in
  pairs, etc.) into the practice of formal modelling.

The Programme Committee of our workshop has members from
both areas, FM and AM; each submission will be carefully
reviewed with regard to its contribution to the theme of
the workshop, namely the feasible combination of FM+AM.

For all further details about this workshop, please see
its website at http://fm-am-2010.tripod.com; Submission
via http://www.easychair.org/conferences/?conf=fmam2010

*Important Dates*

1.) Deadline for Abstract: 25th of June (mandatory step!)
2.) Deadline for Paper: 2nd of July (not without step 1!)
3.) Author Notification: 2nd of August
4.) Revised version of accepted papers: 25th of August
5.) Workshop in Pisa, Italy: 17th of September, 2010.

Publication is currently being negotiated; see workshop
website for further updates on this matter.

##########################################################
Received on Mon 08 Mar 2010 - 09:57:36 GMT