[FM-India] Call for Papers: FormaliSE 2014

Madhavan Mukund madhavan at cmi.ac.in
Sat Dec 14 06:25:16 IST 2013

 From: Nico Plat <mail at nicoplat.com>
 To: fmindia at cmi.ac.in
 Date: Fri, 13 Dec 2013 17:22:17 +0100
                   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

 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
 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 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 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/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.
 24 January 2014: submission deadline for workshop papers
 24 February 2014: notification of acceptance/rejection to authors
 14 March 2014: camera-ready copy deadline for workshop papers
 *** Exact date *** 2014: FormaliSE workshop held in Hyderabad, India
 OC/PC CHAIRS are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
 Consulting BV, The Netherlands). Local organizer is Ravindra Metta
 (Tata Consultancy Services, India). The OC/PC Chairs can be reached
 via e-mail: oc at formalise.org. If you intend to submit a paper you are
 invited to inform us in advance.
 THE PROGRAM COMMITTEE consists of Andreas Bollin (Klagenfurt
 University, Austria), Einar Broch Johnsen (Oslo University, Norway),
 Manfred Broy (Technical University München, Germany), Ana Cavalcanti
 (York University, UK), Nancy Day (University of Waterloo, Canada),
 Cindy Eisner (IBM Haifa Research Laboratory, Israel) , Alessandro
 Fantechi (University of Florence, Italy), Jaco Geldenhuys (University
 of Stellenbosch, South Africa) , Jan Friso Groote (Eindhoven
 University of Technology, The Netherlands), Arie Gurfinkel (Carnegie
 Mellon University, USA), Mike Hinchey (Lero, Ireland), Randolph
 Johnson (independent consultant, USA), 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), Axel
 Legay (INRIA Rennes, France), Antónia Lopes (University of Lisbon,
 Portugal), István Majzik (Budapest University of Technology and
 Economics, Hungary), Tiziana Margaria (Potsdam University, Germany),
 Ravindra Metta (Tata Consultancy Services, India), Henry Muccini
 (Universita degli Studi dell’Aquila, Italy), Matteo Rossi
 (Politecnico di Milano, Italy), Elena Troubitsyna (Abo University,
 Finland) , Sebastián Uchitel (Imperial College and Universidad de
 Buenos Aires, UK and Argentina), Hironori Washizaki (Waseda
 University, Japan), and Fatiha Zaïdi (LRI/CNRS, France).

More information about the FMIndia mailing list