FormaliSE 2014 2nd FME Workshop on Formal Methods in Software Engineering

Call for Papers: FormaliSE 2014

2nd FME Workshop on Formal Methods in Software Engineering

held in conjunction with ICSE 2014 (May 31th–June 7th)

Hyderabad, India

http://www.formalise.org/

NTRODUCTION

IThe 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

ey places makes software engineering overly sensitive to the weaknesses that

the correct behavior of the delivered software. The lack of formalization in
k are inevitable in the complex activities behind software creation. Aids to precision in each phase of software development and crosschecking are

n in

both thinking and documenting the preliminary stage of the softwa

essential, and this is precisely one the objectives of formal methods. Formal methods (FMs) are intended to provide the means for greater precisi
ore creation process. When done well, this can aid all aspects of software creation: user requirement formulation, implementation, verification/testing, and the creation

ed by practitioners, and the integration of such tools with

activities that

of documentation. However, the maturing of formal techniques into real-life software engineering involves providing notations and tools that are readily understood and u
s are far from the unrealistic assumptions that characterized some earlier research in formal methods. After decades of research, and despite significant advancement, formal methods

needs, and its specific role in the software

process. At the same time, from

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 engineerin
g 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.

EST include but are not limited to:

- integration of FMs in the software

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 INTE
Rdevelopment 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

e Proceedings Format. They

will be published as part of the (electronic) pro

The program will start with an invited speaker, 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 Conferen
cceedings 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/conferences/?conf=formalise2014. Three or four PC

members will review all submissions. Papers will be judged on the basis of

their clarity, relevance, originality, and contribution to the field.

s

24 February 2

IMPORTANT DATES 24 January 2014: submission deadline for workshop pape
r014: notification of acceptance/rejection to authors

papers

*** Exact date *** 2014: FormaliSE workshop held in H

14 March 2014: camera-ready copy deadline for worksho
pyderabad, India OC/PC CHAIRS are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West

vices, India). The OC/PC Chairs can be reached via e-mail:

Consulting BV, The Netherlands). Local organizer is Ravindra Metta (Tata Consultancy Se

roc@formalise.org. If you intend to submit a paper you are invited to inform us

in advance.

OMMITTEE consists of Andreas Bollin (Klagenfurt University,

Austria), Ei

THE PROGRAM
Cnar Broch Johnsen (Oslo University, Norway), Manfred Broy

rk University, UK),

Nancy Day (University of Waterloo, Canada), Cindy Eisner (

(Technical University München, Germany), Ana Cavalcanti (Y
oIBM Haifa Research Laboratory, Israel) , Alessandro Fantechi (University of Florence, Italy), Jaco

echnology, The Netherlands), Arie Gurfinkel (Carnegie

Mellon University,

Geldenhuys (University of Stellenbosch, South Africa) , Jan Friso Groote (Eindhoven University of
TUSA), Mike Hinchey (Lero, Ireland), Randolph Johnson (independent consultant, USA), Axel van Lamsweerde (University of Louvain.

France), Yves Ledru

(IMAG, France), Axel Legay (INRIA Rennes, France),

Belgium), Peter Gorm Larsen (Aarhus University, Denmark), Marc Lawford (MacMaster University, Canada), Thierry Lecomte (ClearSy,
Antónia Lopes (University of Lisbon, Portugal), István Majzik (Budapest University of Technology and Economics, Hungary), Tiziana Margaria (Potsdam University, Germany), Ravindra

Finland) , Sebastián Uchitel (Imperial College and

Universidad de Buenos Aires,

Metta (Tata Consultancy Services, India), Henry Muccini (Universita degli Studi dell’Aquila, Italy), Matteo Rossi (Politecnico di Milano, Italy), Elena Troubitsyna (Abo University,
UK and Argentina), Hironori Washizaki (Waseda

France).

University, Japan), and Fatiha Zaïdi (LRI/CNRS,