From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C93417EE99 for ; Sun, 5 Jan 2014 09:12:00 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcFAHsSyVLBVEO1/2dsb2JhbABYgws4uTKBWxZ0gicBBQEBGikKFgIGBggDAQIGAkgIAwEjSQUECwWHbwnDao43gw4PgXkElDOFFJACY4MuO4EsAh4G X-IPAS-Result: AgcFAHsSyVLBVEO1/2dsb2JhbABYgws4uTKBWxZ0gicBBQEBGikKFgIGBggDAQIGAkgIAwEjSQUECwWHbwnDao43gw4PgXkElDOFFJACY4MuO4EsAh4G X-IronPort-AV: E=Sophos;i="4.95,606,1384297200"; d="scan'208";a="51750897" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Jan 2014 09:12:00 +0100 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 3D9036FE73; Sun, 5 Jan 2014 09:11:38 +0100 (CET) Date: Thu, 2 Jan 2014 17:55:07 +0100 To: events@fmeurope.org Mime-Version: 1.0 (Mac OS X Mail 7.1 \(1827\)) X-Mailer: Apple Mail (2.1827) X-Spam-Report: * -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at http://www.dnswl.org/, no * trust * [194.109.24.29 listed in list.dnswl.org] * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Sun, 05 Jan 2014 09:05:14 +0100 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="windows-1252" Content-Transfer-Encoding: quoted-printable Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.97.8 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India) Call for Papers: FormaliSE 2014 2nd FME Workshop on Formal Methods in Software Engineering=20 to be held on June 3th 2014 in conjunction with=20 ICSE 2014 (May 31th=96June 7th), in Hyderabad, India http://www.formalise.org/ 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 assure= d. For large complex projects ad hoc approaches have proven inadequate to assu= re the correct behavior of the delivered software. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses th= at 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 precisio= n 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 crea= tion 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.=20 After decades of research, and despite significant advancement, formal meth= ods are still not widely used in industrial software development. This may be d= ue to the fact that the formal methods community has not enough focused its attention to software engineering needs, and its specific role in the softw= are process. At the same time, from a software engineering perspective, there c= ould 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 developm= ent of software applications.=20 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=20 - prescriptive/objective guidance in the use of FMs - Formal methods in a certification context - =93lightweight=94 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 ACM Formatting Guidelines (LaTeX user= s, please use the "Option 2" style). 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 submitt= ed elsewhere while being under consideration. All submissions must be in Engli= sh and in PDF format through online upload to the workshop submission website = at the following URL: https://www.easychair.org/conferences/?conf=3Dformalise2= 014. 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. IMPORTANT DATES 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 7 June 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@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=FCnchen, 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 (Carn= egie 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 Led= ru (IMAG, France), Axel Legay (INRIA Rennes, France), Ant=F3nia Lopes (Univers= ity of Lisbon, Portugal), Istv=E1n Majzik (Budapest University of Technology and Economics, Hungary), Tiziana Margaria (Potsdam University, Germany), Ravind= ra Metta (Tata Consultancy Services, India), Henry Muccini (Universita degli S= tudi dell=92Aquila, Italy), Matteo Rossi (Politecnico di Milano, Italy), Elena Troubitsyna (Abo University, Finland) , Sebasti=E1n Uchitel (Imperial Colle= ge and Universidad de Buenos Aires, UK and Argentina), Hironori Washizaki (Waseda University, Japan), and Fatiha Za=EFdi (LRI/CNRS, France). _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events