[ecoop-info] FINAL CALL FOR PAPERS: FormaliSE 2013 (Submission deadline: 7 February)

[Announcements of FME events]

                   FINAL CALL FOR PAPERs: FormaliSE 2013
 FME Workshop on Formal Methods in Software Engineering
                   held in conjunction with ICSE 2013
                Saturday 25 May 2013, San Francisco, USA
                       http://www.formalise.org/

                     Papers due: February 7, 2013

INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays, the
success of software projects with the current technologies cannot be assured.
For large complex projects ad hoc approaches have proven inadequate to assure
the correct behavior of the delivered software. The lack of formalization in
key places makes software engineering overly sensitive to the weaknesses that
are inevitable in the complex activities behind software creation. Aids to
precision in each phase of software development and crosschecking are
essential, and this is precisely one the objectives of formal methods.

Formal methods (FMs) are intended to provide the means for greater
precision in
both thinking and documenting the preliminary stage of the software creation
process. When done well, this can aid all aspects of software creation: user
requirement formulation, implementation, verification/testing, and the
creation
of documentation. However, the maturing of formal techniques into real-life
software engineering involves providing notations and tools that are readily
understood and used by practitioners, and the integration of such tools with
activities that are far from the unrealistic assumptions that characterized
some earlier research in formal methods.

After decades of research, and despite significant advancement, formal
methods
are still not widely used in industrial software development. This may be due
to the fact that the formal methods community has not enough focused its
attention to software engineering needs, and its specific role in the
software
process. At the same time, from a software engineering perspective, there
could
be a number of fundamental principles that might help to guide the design of
formal methods in order to make them more easily applicable in the
development
of software applications.

The main goal of the workshop is to foster integration between the formal
methods and the software engineering communities with the purpose to examine
the link between the two more carefully than is currently the case.

AREAS OF INTEREST include but are not limited to:
* integration of FMs in the software development life cycle
* ability of formal methods to handle real-world problems
* prescriptive/objective guidance in the use of FMs
* formal methods in a certification context
* "lightweight" or usable FMs
* application experiences
* scalability of FM applications
* experimental validation

THE PROGRAM will start with our invited speaker Alan Wassyng from McMaster
University in Canada, followed by presentations of submitted papers. The
workshop will end with a round table discussion (PC members and workshop
audience), focusing on the subjects that came up during the workshop.

SUBMISSIONS are limited to 7 pages in IEEE Conference Proceedings Format.
They
will be published as part of the (electronic) proceedings of ICSE 2013. All
papers submitted to the workshop must be unpublished original work and should
not be under review or submitted elsewhere while being under
consideration. All
submissions must be in English and in PDF format through online upload to the
workshop submission website at the following URL:

     https://www.easychair.org/account/signin.cgi?conf=formalise2013

All submissions will be reviewed by three PC members. They will be judged on
the basis of their clarity, relevance, originality, and contribution.

IMPORTANT DATES
* 7 February 2013: submission deadline for workshop papers
* 28 February 2013: notification of acceptance/rejection to authors
* 7 March 2013: camera-ready copy deadline for workshop papers
* 25 May 2013: FormaliSE workshop held in San Francisco, USA

OC/PC CHAIRS are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
Consulting BV, The Netherlands). The OC/PC Chairs can be reached via e-mail:
oc at formalise.org. If you intend to submit a paper you are encouraged to
inform
us in advance.

THE PROGRAM COMMITTEE consists of:
* Yamine Ait-Ameur (IRIT/ENSEEIHT, France)
* Manfred Broy (Technical University München, Germany)
* Jürgen Dingel (Queen's University, Canada)
* Cindy Eisner (IBM Haifa Research Laboratory, Israel)
* Arie Gurfinkel (Carnegie Mellon University, USA)
* Patrick Heymans (University of Namur, Belgium, and INRIA, France)
* Alessandro Fantechi (Università di Firenze, Italy)
* Connie Heitmeyer (Naval Research Laboratory, USA)
* Mike Hinchey (Lero, Ireland)
* Axel van Lamsweerde (University of Louvain. Belgium)
* Peter Gorm Larsen (Aarhus University, Denmark)
* Marc Lawford (MacMaster University, Canada)
* Thierry Lecomte (ClearSy, France)
* Yves Ledru (IMAG, France)
* Antónia Lopes (University of Lisbon, Portugal)
* Tiziana Margaria (Potsdam University, Germany)
* Henry Muccini (Università dell’Aquila, Italy)
* Isabelle Perseil (Inserm, France)
* Steve Riddle (University of Newcastle, UK)
* Matteo Rossi (Politecnico di Milano, Italy)
* Wolfram Schulte (Microsoft, USA)
* Elena Troubitsyna (Abo University, Finland)
* Sebastián Uchitel (Imperial College and Universidad de Buenos Aires)
* Willem Visser (University of Stellenbosch, South Africa)
* Fatiha Zaïdi (LRI/CNRS, France)
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events