\documentclass{sacj} %%\bibliographystyle{sacj} \usepackage{graphicx} \begin{document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \SACJauthor{Stefan Gruner}{sg@cs.up.ac.za} \SACJaddress{http://ssfm.cs.up.ac.za/workshop/FMAM11.htm} \SACJtitle{Call for Papers: International Workshop on Formal Methods and Agile Methods, FM$+$AM'11} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \SACJabstract{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).\\ {\bf Date and Place:} 20-21 June 2011, at the 7th International Symposium on Formal Methods, FM'2011, Limerick (Ireland).} \SACJkeywords{Formal Methods, Agile Methods, Software Engineering} \SACJmaketitle %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section*{Call for Papers} 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. \section*{Related Work} S. Gruner \& B. Rumpe (eds.), \emph{Proceedings FM$+$AM' 2010: 2nd International Workshop on Formal Methods and Agile Methods}. Lecture Notes in Informatics, Vol. 179, GI Publ., September 2010. S. Gruner (guest-ed.), \emph{Proceedings FM$+$AM'2009: 1st International Workshop on Formal Methods and Agile Methods}. Innovations in Systems and Software Engineering, Vol. 6, Springer Verlag, March 2010. S. Black \& P.P. Boca \& J.P. Bowen \& J. Gorman \& M. Hinchey, \emph{Formal versus Agile --- Survival of the Fittest?} IEEE Computer, Vol. 42, No. 9, pp. 37-45, IEEE Computer Society Press, 2009. B. Meyer \& J.R. Nawrocki \& B. Walter (eds), \emph{Proceedings of the 2007 IFIP Workshop on Balancing Agility and Formalism in Software Engineering}. Lecture Notes in Computer Science, Vol. 5082, Springer Verlag, 2008. \section*{Submission and Review} Papers for FM$+$AM'11 must be submitted online via \emph{EasyChair} at http://www.easychair.org/conferences/ ?conf$=$fmam11. Every submitted paper will be reviewed by several members of the FM$+$AM'11 Programme Committee (see below) along the lines of the usual quality criteria, such as: suitability for the workshop (combination of FM and AM), novelty and originality, technical soundness, discussion of related work (see above), style of presentation, etc. The final (camera-ready) versions of accepted papers must be (re-) submitted to the publisher only after the workshop (see below), such that the publications will also reflect the discussions amongst the participants during the event. Further Regulations: \begin{itemize} \item The committee's notification of acceptance or rejection is final; there is no rebuttal phase. \item The length limit for each paper is 10 pages in SEN style (see below). \end{itemize} \section*{Presentation and Publication} The proceedings of the FM$+$AM'11 workshop will appear as post-proceedings, after the event, in the ACM SIGSOFT \emph{Software Engineering Notes} (SEN) edited by Will Tracz. Authors of accepted papers are requested to send their final versions directly to SEN after the workshop, whereby for the final versions: \begin{itemize} \item The reviewers' comments and suggestions must be taken into account, \item The peer-discussions at the workshop must be taken into account, and \item The layout of the final versions of the papers must be SEN-compatible. \end{itemize} For the SEN Style and Layout Guidelines, please see \emph{http://www.stidolph.com/SEN/index.html}. Only those papers, which have actually been presented and discussed at the workshop, can be included into the SEN publication. For all the further details about registration and travel arrangements, please see \emph{http://ssfm.cs.up.ac.za/workshop/FMAM11.htm} \section*{Important Dates} {\bf 30 April 2011: Deadline for paper submission}\\ 30 May 2011: Notification of acceptance or rejection\\ 20-21 June 2011: Workshop FM$+$AM'11 in Limerick\\ 30 June 2011: Deadline for submission of final versions \section*{Programme Committee} Stefan Gruner: \emph{Workshop Chair}\\ Will Tracz: \emph{Publications Chair}\\ \emph{Scott Ambler} (Canada)\\ \emph{Loek Cleophas} (Netherlands)\\ \emph{Jason Gorman} (Great-Britain)\\ \emph{Reiko Heckel} (Great-Britain)\\ \emph{Derrick Kourie} (South Africa)\\ \emph{Michael L{\"o}we} (Germany)\\ \emph{Pieter Mosterman} (Canada)\\ \emph{J{\"u}rgen M{\"u}nch} (Germany)\\ \emph{Erhard Pl{\"o}dereder} (Germany)\\ \emph{Kees Pronk} (Netherlands)\\ \emph{Markus Roggenbach} (Great-Britain)\\ \emph{Bernhard Rumpe} (Germany)\\ \emph{Alberto Sillitti} (Italy)\\ \emph{Willem Visser} (South Africa)\\ \emph{Bartosz Walter} (Poland)\\ \emph{Xiaofeng Wang} (Ireland)\\ \emph{Bernhard Westfechtel} (Germany) For the full affiliations and institutes of these experts please see the FM$+$AM'11 workshop's website. \end{document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%