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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2DC567F89E for ; Sun, 30 Mar 2014 10:21:39 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.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: AhACAIDTN1PBVEO1l2dsb2JhbABZKIMZvDOGZIFhFg4BAQEBAQgWBzyCJwEFAQEaKQMHGAYHBwMBAgYCEQwrCAMBIzYTBQQLh2kJtEKcWReRNA+BewSSC4JXhR+QHoQVPA X-IPAS-Result: AhACAIDTN1PBVEO1l2dsb2JhbABZKIMZvDOGZIFhFg4BAQEBAQgWBzyCJwEFAQEaKQMHGAYHBwMBAgYCEQwrCAMBIzYTBQQLh2kJtEKcWReRNA+BewSSC4JXhR+QHoQVPA X-IronPort-AV: E=Sophos;i="4.97,759,1389740400"; d="scan'208";a="54679356" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Mar 2014 10:21:38 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 9B2226FF51; Sun, 30 Mar 2014 10:21:35 +0200 (CEST) Date: Sat, 29 Mar 2014 22:39:55 +0100 To: Formal methods mailing lists Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) X-Mailer: Apple Mail (2.1874) X-Spam-Report: * -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at http://www.dnswl.org/, no * trust * [194.109.24.26 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, 30 Mar 2014 10:02:46 +0200 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.98.1 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014 Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014 www.formalise.org FormaliSE 2014 received a good number of high-quality submissions this year= and we are proud to announce an excellent programme. The FormaliSE workshop is co-located with ICSE 2014 (http://2014.icse-conferences.org/). Please join = us at FormaliSE 2014! Introduction =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Formal methods for software developent are still not widely used in industr= y. 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 h= elp to guide the design of formal methods in order to make them more easily applicable in the development 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. Programme =3D=3D=3D=3D=3D=3D=3D=3D=3D We have an attractive programme with an invited speaker (Aditya V. Nori from Microsoft Research, India), and presentations of nine high quality papers. = For details see http://www.formalise.org/?q=3Dprogramme. Venue =3D=3D=3D=3D=3D FormaliSE 2014 will be held at the Hyderabad International Convention Centre (http://www.hicc.com/), host of the 36th International Conference on Softwa= re Engineering (ICSE 2014). Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D To register see http://2014.icse-conferences.org/registration. Early Bird registrations will close on April 14th. Accomodation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D A number of hotel rooms have been blocked for ICSE 2014 participants at specially negotiated rates, see http://2014.icse-conferences.org/accomodati= on. Visa Information =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D An entry Visa is essential for all foreigners visiting India. If you don=92t already have a valid business or tourist visa (that will be valid for your travel dates), you will need to apply for one. For further information, see http://2014.icse-conferences.org/visa. Social media =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Twitter https://twitter.com/formalise2014 Facebook https://www.facebook.com/FormaliSE2014 See you in Hyderabad! _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events