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 F30607F8F3 for ; Sun, 25 May 2014 17:18:00 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsBAHsIglOAnPnlm2dsb2JhbABZg1lYgmqqTI0Uh1RqFg4BAQEBAQgJCwkUKIInBQEBASAREggCHg4DAQIGAgEBIgIeBAQCAgIBARsCBwkBFRIEEwUWAgSIDQMRsyieFA2GGheBKooZAXiBNAoHAYMLQRKBOQSPaIcqa4F2gT2LeIdqgUCBbQkXIg X-IPAS-Result: AnsBAHsIglOAnPnlm2dsb2JhbABZg1lYgmqqTI0Uh1RqFg4BAQEBAQgJCwkUKIInBQEBASAREggCHg4DAQIGAgEBIgIeBAQCAgIBARsCBwkBFRIEEwUWAgSIDQMRsyieFA2GGheBKooZAXiBNAoHAYMLQRKBOQSPaIcqa4F2gT2LeIdqgUCBbQkXIg X-IronPort-AV: E=Sophos;i="4.98,906,1392159600"; d="scan'208";a="63905211" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 May 2014 17:17:59 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 421596016EE; Sun, 25 May 2014 11:16:51 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id vWWNhwiImXHt; Sun, 25 May 2014 11:16:51 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A90C460166C; Sun, 25 May 2014 11:16:48 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 95BE3600B38 for ; Sun, 25 May 2014 11:16:46 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 2CL4fNTfpWmj for ; Sun, 25 May 2014 11:16:46 -0400 (EDT) Received: from ndjsnpf03.ndc.nasa.gov (ndjsnpf03.ndc.nasa.gov [198.117.1.123]) by lists.nasa.gov (Postfix) with ESMTP id 71ECE6002C4 for ; Sun, 25 May 2014 11:16:45 -0400 (EDT) Received: from ndjsppt104.ndc.nasa.gov (ndjsppt104.ndc.nasa.gov [198.117.1.198]) by ndjsnpf03.ndc.nasa.gov (Postfix) with ESMTP id 9BA9B2D8049 for ; Sun, 25 May 2014 10:16:45 -0500 (CDT) Received: from NDJSCHT104.ndc.nasa.gov (ndjscht104-pub.ndc.nasa.gov [198.117.1.204]) by ndjsppt104.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id s4PFGjJi026408 for ; Sun, 25 May 2014 10:16:45 -0500 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.1.28]) by NDJSCHT104.ndc.nasa.gov ([198.117.1.204]) with mapi id 14.03.0174.001; Sun, 25 May 2014 10:16:45 -0500 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: Fourth Verified Software Competition (VSComp), 14-16 June, 2014 Thread-Index: AQHPeCxWSC22agmrZkyt6WMA05utPg== Date: Sun, 25 May 2014 15:16:45 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.4.1.140326 x-originating-ip: [146.165.82.38] Content-ID: MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.11.96, 1.0.14, 0.0.0000 definitions=2014-05-25_01:2014-05-23,2014-05-25,1970-01-01 signatures=0 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: cesar.a.munoz@nasa.gov Subject: [Caml-list] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014 Rm91cnRoIFZlcmlmaWVkIFNvZnR3YXJlIENvbXBldGl0aW9uIChWU0NvbXAp IDIwMTQNCjE0LTE1IEp1bmUgMjAxNA0KaHR0cDovL3ZzY29tcC5vcmcgPGh0 dHA6Ly92c2NvbXAub3JnLz4NCg0KT3JnYW5pemVyczogRXJuaWUgQ29oZW4s IE1hcmNlbG8gRnJpYXMsIFBldGVyIE3DvGxsZXIsIE5hdGFyYWphbiBTaGFu a2FyDQoNClRoZSBGb3VydGggVmVyaWZpZWQgU29mdHdhcmUgQ29tcGV0aXRp b24gKFZTQ29tcCkgYWltcyB0byBzaG93Y2FzZSB0aGUNCnByb2dyZXNzIGlu IHZlcmlmaWNhdGlvbiB0ZWNobm9sb2d5LiAgVGhlIGNvbXBldGl0aW9uIHdp bGwgb2NjdXIgb3ZlciA0OA0KaG91cnMgZHVyaW5nIHRoZSB3ZWVrZW5kIG9m IDE0LzE1IEp1bmUgc3RhcnRpbmcgd2l0aCB0aGUgcHVibGljYXRpb24gb2YN CnRoZSBjaGFsbGVuZ2UgcHJvYmxlbXMgYXQgMDkwMCBHTVQgb2YgU2F0IEp1 bmUgMTQgYW5kIGVuZGluZyB3aXRoIHRoZQ0Kc3VibWlzc2lvbiBkZWFkbGlu ZSBmb3IgdGhlIHNvbHV0aW9ucyBhdCAwOTAwIEdNVCBvZiBNb24gSnVuZSAx Ni4gIFRlYW1zDQpvZiB1cCB0byB0aHJlZSBpbmRpdmlkdWFscyBjYW4gcmVn aXN0ZXIgdG8gcGFydGljaXBhdGUganVzdCBwcmlvciB0byB0aGUNCnN0YXJ0 IG9mIHRoZSBjb21wZXRpdGlvbiBhdCBodHRwOi8vdnNjb21wLm9yZyA8aHR0 cDovL3ZzY29tcC5vcmcvPi4gIFRoZQ0KY29tcGV0aXRpb24gd2lsbCBjb25z aXN0IG9mIGZpdmUgdmVyaWZpY2F0aW9uIGNoYWxsZW5nZXMgKHdpdGggcG9z c2libGUNCnN1Yi1wcm9ibGVtcykgc3Bhbm5pbmcgYSByYW5nZSBvZiBkb21h aW5zLCBpbmNsdWRpbmcgKGJ1dCBub3QgbGltaXRlZCB0bykNCnNlcXVlbnRp YWwgYW5kIGNvbmN1cnJlbnQgYWxnb3JpdGhtcywgcmVmaW5lbWVudCwgYXNz ZXJ0aW9uYWwNCnZlcmlmaWNhdGlvbiwgYW5kIG1ldGF0aGVvcnkuICBUZWFt cyB3aWxsIGhhdmUgdG8gc29sdmUgdGhlIGNoYWxsZW5nZQ0KcHJvYmxlbXMg dXNpbmcgbWVjaGFuaXplZCB0b29scy4gIFRlYW1zIGFyZSBhbGxvd2VkIHRv IHVzZSBtdWx0aXBsZSB0b29scw0KdG8gdGFja2xlIHRoZSBjaGFsbGVuZ2Vz LiBPbmx5IHRoZSBiZXN0IHRocmVlIHByb2JsZW0gc29sdXRpb25zIGZyb20g ZWFjaA0KdGVhbSB3aWxsIGJlIHRha2VuIGludG8gY29uc2lkZXJhdGlvbiBm b3IgZXZhbHVhdGluZyB0ZWFtIHBlcmZvcm1hbmNlLiAgQW4NCkZBUSBXaWtp IHBhZ2Ugd2lsbCBiZSBtYWludGFpbmVkIGF0IHRoZSB3ZWJzaXRlIHRvIGNs YXJpZnkgcXVlc3Rpb25zIHRoYXQNCm1pZ2h0IGNvbWUgdXAgYmVmb3JlIG9y IGR1cmluZyB0aGUgY29tcGV0aXRpb24uICBBZnRlciB0aGUgY29tcGV0aXRp b24sDQpzb2x1dGlvbnMgd2lsbCBiZSBtYWRlIHB1YmxpY2x5IGF2YWlsYWJs ZSBmb3IgcGVlciByZXZpZXcgYnkgdGhlIG90aGVyDQp0ZWFtcy4gVGVhbXMg c2hvdWxkIGJlIGF2YWlsYWJsZSB0byBhbnN3ZXIgcXVlc3Rpb25zIGR1cmlu ZyB0aGUgcGVlcg0KcmV2aWV3IHByb2Nlc3MsIGFuZCBpZiBuZWNlc3Nhcnks IGJlIHByZXBhcmVkIHRvIG1ha2UgdGhlaXIgdmVyaWZpY2F0aW9uDQp0b29s cyBhdmFpbGFibGUgZm9yIGV4cGVyaW1lbnRhdGlvbi4gIEJhc2VkIG9uIHRo ZSByZXN1bHRzIG9mIHRoZSBwZWVyDQpyZXZpZXcsIHRoZSBvcmdhbml6ZXJz IHdpbGwgZXZhbHVhdGUgdGhlIHNvbHV0aW9ucyBmb3IgY29ycmVjdG5lc3Ms DQpjb21wbGV0ZW5lc3MsIGFuZCBjbGFyaXR5Lg0KDQpUaGUgd2lubmVycyB3 aWxsIGJlIGdpdmVuIHNob3J0IHNwZWFraW5nIHNsb3RzIGF0IFZTVFRFIDIw MTQgd2hpY2ggdGFrZXMNCnBsYWNlIGluIFZpZW5uYSBkdXJpbmcgSnVseSAx NywgMTgsIDIwMTQuICBUaGUgY29tcGV0aXRpb24gd2lsbCBydW4gb24gYW4N Cmhvbm9yIHN5c3RlbSB0byBlbnN1cmUgdGhhdCBhYm92ZSBndWlkZWxpbmVz IGFyZSBiZWluZyBmb2xsb3dlZCBieSBlYWNoIG9mDQp0aGUgdGVhbXMuICBX ZSBlc3BlY2lhbGx5IGVuY291cmFnZSB0aGUgcGFydGljaXBhdGlvbiBvZiBh bGwtc3R1ZGVudCB0ZWFtcw0KYW5kIHRlYW1zIHRoYXQgYXJlIHVzaW5nIHRv b2xzIGRldmVsb3BlZCBieSBvdGhlcnMuDQoNClF1ZXN0aW9ucyBvciBjb21t ZW50cyBhYm91dCB0aGUgY29udGVzdCBzaG91bGQgYmUgc2VudCB0bw0KdnNj b21wMjAxNEBnbWFpbC5jb20uDQoNCg0KLS0tClRvIG9wdC1vdXQgZnJvbSB0 aGlzIG1haWxpbmcgbGlzdCwgc2VuZCBhbiBlbWFpbCB0bwoKZm0tYW5ub3Vu Y2VtZW50cy1yZXF1ZXN0QGxpc3RzLm5hc2EuZ292Cgp3aXRoIHRoZSB3b3Jk ICd1bnN1YnNjcmliZScgYXMgc3ViamVjdCBvciBpbiB0aGUgYm9keS4gWW91 IGNhbiBhbHNvIG1ha2UgdGhlIHJlcXVlc3QgYnkgY29udGFjdGluZwoKZm0t YW5ub3VuY2VtZW50cy1vd25lckBsaXN0cy5uYXNhLmdvdiA=