Call for Papers: FM+AM'11 at FM'2011, Limerick



Call for Papers: FM+AM'11 at FM'2011, Limerick

From: Stefan G <sgruner_at_cs.up.ac.za>
Date: Wed, 24 Nov 2010 18:59:11 +0200
Message-ID: <4CED445F.3060004@cs.up.ac.za>
CALL FOR PAPERS:

FM+AM'11:
Third International Workshop on Formal Methods and Agile Methods.
For all the details see http://ssfm.cs.up.ac.za/workshop/FMAM11.htm

Satellite Event to the
17th International Symposium on Formal Methods, FM'2011, Limerick.

20-21 June 2011.

*Topic*
There is wide-spread agreement amongst software engineers that Formal 
Methods (FM) are generally too slow in their application, whereas Agile 
Methods (AM) in their extreme form cannot sufficiently produce the 
degree of software reliability which is needed, for example, for safety- 
and industry-critical software systems, including embedded systems in 
various environments. Consequently it makes sense to search for feasible 
combinations of "the best of both worlds", with the goal of making the 
application of FM faster and the application of AM more formally sound. 
This is the purpose of the workshop FM+AM'11 which is going to be held 
for the 3rd time (after FM+AM'09 in Brasil and FM+AM'10 in Italy).
For this workshop are seeking original, previously unpublished papers, 
theoretical or empirical, from academia or industry, which clearly 
address the above-mentioned problems and which convincingly provide 
novel concepts, methods, experience reports, or CASE tools (software 
prototypes) to the combination of FM and AM in all phases of the 
software cycle, including requirements elicitation, software 
architecture, programming, testing, software maintenance, etc. In the 
context of this workshop, the notion of "formal" should be broadly 
understood as "logical/ mathematical", such as to enable 
theorem-proving, model-checking, as well as rigorous, rule-guided 
"correctness by construction". Presentations of applicable CASE tool 
prototypes in this context are especially encouraged.

*Publication*
ACM SIGSOFT Software Engineering Notes (SEN)

*Submission Deadline*
30 April 2011.
Please see the workshop website for all further details.

*Programme Committee*
Please see the workshop website for all names and affiliations.

With kind regards,
-Stefan G.
(PC Chair)

-- 
FM+AM'11 Third Workshop on Formal Methods and Agile Methods
CALL FOR PAPERS http://ssfm.cs.up.ac.za/workshop/FMAM11.htm
SUBMISSION http://www.easychair.org/conferences/?conf=fmam11
SUBMISSION DEADLINE: 30 April 2011!
--
Received on Wed 24 Nov 2010 - 17:02:43 GMT