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 9EC317F927 for ; Tue, 10 Jun 2014 21:09:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: ApsBALJWl1OAnPnlm2dsb2JhbABZg19Zgmy5W4dWcRYPAQEBAQEICQsJFCiEBQUBAQEgERIIAh4OAwECBgIBASICHgQEAgICAQEbAgcJARUSBBMFFgIEiA0DEa4kmSINhUcXgSqKBQF3gUAKBwGDC0ESgToEkAaHOGyBeoFCjAqHdYFAgW0JFyI X-IPAS-Result: ApsBALJWl1OAnPnlm2dsb2JhbABZg19Zgmy5W4dWcRYPAQEBAQEICQsJFCiEBQUBAQEgERIIAh4OAwECBgIBASICHgQEAgICAQEbAgcJARUSBBMFFgIEiA0DEa4kmSINhUcXgSqKBQF3gUAKBwGDC0ESgToEkAaHOGyBeoFCjAqHdYFAgW0JFyI X-IronPort-AV: E=Sophos;i="4.98,1010,1392159600"; d="scan'208";a="79397989" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Jun 2014 21:09:16 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A861A60223F; Tue, 10 Jun 2014 15:08:08 -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 tkAF6CNjqHtI; Tue, 10 Jun 2014 15:08:08 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 11833602204; Tue, 10 Jun 2014 15:08:06 -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 7CE186021E8 for ; Tue, 10 Jun 2014 15:08:03 -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 udncfD3I7UI2 for ; Tue, 10 Jun 2014 15:08:03 -0400 (EDT) Received: from ndmsnpf01.ndc.nasa.gov (ndmsnpf01.ndc.nasa.gov [198.117.0.121]) by lists.nasa.gov (Postfix) with ESMTP id 52F3C6021D6 for ; Tue, 10 Jun 2014 15:08:03 -0400 (EDT) Received: from ndjsppt104.ndc.nasa.gov (ndjsppt104.ndc.nasa.gov [198.117.1.198]) by ndmsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 1776B260084 for ; Tue, 10 Jun 2014 14:08:03 -0500 (CDT) Received: from NDJSCHT115.ndc.nasa.gov (ndjscht115-pub.ndc.nasa.gov [198.117.1.215]) by ndjsppt104.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id s5AJ82Xf005714 for ; Tue, 10 Jun 2014 14:08:02 -0500 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.1.15]) by NDJSCHT115.ndc.nasa.gov ([198.117.1.215]) with mapi id 14.03.0174.001; Tue, 10 Jun 2014 14:08:02 -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: AQHPhN9NO4n5kvImRkC7msNOPBSMig== Date: Tue, 10 Jun 2014 19:08:02 +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.12.52, 1.0.14, 0.0.0000 definitions=2014-06-10_05:2014-06-10,2014-06-10,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 IDIwMTQNCjE0LTE1IEp1bmUgMjAxNA0KaHR0cDovL3ZzY29tcC5vcmcgDQoN Ck9yZ2FuaXplcnM6IEVybmllIENvaGVuLCBNYXJjZWxvIEZyaWFzLCBQZXRl ciBNw7xsbGVyLCBOYXRhcmFqYW4gU2hhbmthcg0KDQpUaGUgRm91cnRoIFZl cmlmaWVkIFNvZnR3YXJlIENvbXBldGl0aW9uIChWU0NvbXApIGFpbXMgdG8g c2hvd2Nhc2UgdGhlDQpwcm9ncmVzcyBpbiB2ZXJpZmljYXRpb24gdGVjaG5v bG9neS4gIFRoZSBjb21wZXRpdGlvbiB3aWxsIG9jY3VyIG92ZXIgNDgNCmhv dXJzIGR1cmluZyB0aGUgd2Vla2VuZCBvZiAxNC8xNSBKdW5lIHN0YXJ0aW5n IHdpdGggdGhlIHB1YmxpY2F0aW9uIG9mDQp0aGUgY2hhbGxlbmdlIHByb2Js ZW1zIGF0IDA5MDAgR01UIG9mIFNhdCBKdW5lIDE0IGFuZCBlbmRpbmcgd2l0 aCB0aGUNCnN1Ym1pc3Npb24gZGVhZGxpbmUgZm9yIHRoZSBzb2x1dGlvbnMg YXQgMDkwMCBHTVQgb2YgTW9uIEp1bmUgMTYuICBUZWFtcw0Kb2YgdXAgdG8g dGhyZWUgaW5kaXZpZHVhbHMgY2FuIHJlZ2lzdGVyIHRvIHBhcnRpY2lwYXRl IGp1c3QgcHJpb3IgdG8gdGhlDQpzdGFydCBvZiB0aGUgY29tcGV0aXRpb24g YXQgaHR0cDovL3ZzY29tcC5vcmcuDQoNClRoZSBjb21wZXRpdGlvbiB3aWxs IGNvbnNpc3Qgb2YgZml2ZSB2ZXJpZmljYXRpb24gY2hhbGxlbmdlcyAod2l0 aCBwb3NzaWJsZQ0Kc3ViLXByb2JsZW1zKSBzcGFubmluZyBhIHJhbmdlIG9m IGRvbWFpbnMsIGluY2x1ZGluZyAoYnV0IG5vdCBsaW1pdGVkIHRvKQ0Kc2Vx dWVudGlhbCBhbmQgY29uY3VycmVudCBhbGdvcml0aG1zLCByZWZpbmVtZW50 LCBhc3NlcnRpb25hbA0KdmVyaWZpY2F0aW9uLCBhbmQgbWV0YXRoZW9yeS4g IFRlYW1zIHdpbGwgaGF2ZSB0byBzb2x2ZSB0aGUgY2hhbGxlbmdlDQpwcm9i bGVtcyB1c2luZyBtZWNoYW5pemVkIHRvb2xzLiAgVGVhbXMgYXJlIGFsbG93 ZWQgdG8gdXNlIG11bHRpcGxlIHRvb2xzDQp0byB0YWNrbGUgdGhlIGNoYWxs ZW5nZXMuIE9ubHkgdGhlIGJlc3QgdGhyZWUgcHJvYmxlbSBzb2x1dGlvbnMg ZnJvbSBlYWNoDQp0ZWFtIHdpbGwgYmUgdGFrZW4gaW50byBjb25zaWRlcmF0 aW9uIGZvciBldmFsdWF0aW5nIHRlYW0gcGVyZm9ybWFuY2UuICBBbg0KRkFR IFdpa2kgcGFnZSB3aWxsIGJlIG1haW50YWluZWQgYXQgdGhlIHdlYnNpdGUg dG8gY2xhcmlmeSBxdWVzdGlvbnMgdGhhdA0KbWlnaHQgY29tZSB1cCBiZWZv cmUgb3IgZHVyaW5nIHRoZSBjb21wZXRpdGlvbi4gIEFmdGVyIHRoZSBjb21w ZXRpdGlvbiwNCnNvbHV0aW9ucyB3aWxsIGJlIG1hZGUgcHVibGljbHkgYXZh aWxhYmxlIGZvciBwZWVyIHJldmlldyBieSB0aGUgb3RoZXINCnRlYW1zLiBU ZWFtcyBzaG91bGQgYmUgYXZhaWxhYmxlIHRvIGFuc3dlciBxdWVzdGlvbnMg ZHVyaW5nIHRoZSBwZWVyDQpyZXZpZXcgcHJvY2VzcywgYW5kIGlmIG5lY2Vz c2FyeSwgYmUgcHJlcGFyZWQgdG8gbWFrZSB0aGVpciB2ZXJpZmljYXRpb24N CnRvb2xzIGF2YWlsYWJsZSBmb3IgZXhwZXJpbWVudGF0aW9uLiAgQmFzZWQg b24gdGhlIHJlc3VsdHMgb2YgdGhlIHBlZXINCnJldmlldywgdGhlIG9yZ2Fu aXplcnMgd2lsbCBldmFsdWF0ZSB0aGUgc29sdXRpb25zIGZvciBjb3JyZWN0 bmVzcywNCmNvbXBsZXRlbmVzcywgYW5kIGNsYXJpdHkuDQoNClRoZSB3aW5u ZXJzIHdpbGwgYmUgZ2l2ZW4gc2hvcnQgc3BlYWtpbmcgc2xvdHMgYXQgVlNU VEUgMjAxNCB3aGljaCB0YWtlcw0KcGxhY2UgaW4gVmllbm5hIGR1cmluZyBK dWx5IDE3LCAxOCwgMjAxNC4gIFRoZSBjb21wZXRpdGlvbiB3aWxsIHJ1biBv biBhbg0KaG9ub3Igc3lzdGVtIHRvIGVuc3VyZSB0aGF0IGFib3ZlIGd1aWRl bGluZXMgYXJlIGJlaW5nIGZvbGxvd2VkIGJ5IGVhY2ggb2YNCnRoZSB0ZWFt cy4gIFdlIGVzcGVjaWFsbHkgZW5jb3VyYWdlIHRoZSBwYXJ0aWNpcGF0aW9u IG9mIGFsbC1zdHVkZW50IHRlYW1zDQphbmQgdGVhbXMgdGhhdCBhcmUgdXNp bmcgdG9vbHMgZGV2ZWxvcGVkIGJ5IG90aGVycy4NCg0KUXVlc3Rpb25zIG9y IGNvbW1lbnRzIGFib3V0IHRoZSBjb250ZXN0IHNob3VsZCBiZSBzZW50IHRv DQp2c2NvbXAyMDE0QGdtYWlsLmNvbS4NCg0KDQoNCi0tLQpUbyBvcHQtb3V0 IGZyb20gdGhpcyBtYWlsaW5nIGxpc3QsIHNlbmQgYW4gZW1haWwgdG8KCmZt LWFubm91bmNlbWVudHMtcmVxdWVzdEBsaXN0cy5uYXNhLmdvdgoKd2l0aCB0 aGUgd29yZCAndW5zdWJzY3JpYmUnIGFzIHN1YmplY3Qgb3IgaW4gdGhlIGJv ZHkuIFlvdSBjYW4gYWxzbyBtYWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3Rp bmcKCmZtLWFubm91bmNlbWVudHMtb3duZXJAbGlzdHMubmFzYS5nb3Yg