From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8455A7EEF8 for ; Mon, 13 Jul 2015 23:06:08 +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: A0CNAwBiJ6RVnOX5nIBbg2dpAQWCV0a6EwqCQ4NSgSJMAQEBAQEBEgEBAQEBCAsJCSEuQQWDXwUBAQEJEQYREggCGAYOAwECBgIBAQYcAhENBAQCAgIBARsJCQEVEgQTBRgEiA0NmCudGZYiAQEBBwEBAQEBARyBIotnAYJlEQFigiMMLxKBMQWUMQEHhGGCXoFsglGBP0WDU4t6gzuDXYELgTYkgT5vgQ06gQQBAQE X-IPAS-Result: A0CNAwBiJ6RVnOX5nIBbg2dpAQWCV0a6EwqCQ4NSgSJMAQEBAQEBEgEBAQEBCAsJCSEuQQWDXwUBAQEJEQYREggCGAYOAwECBgIBAQYcAhENBAQCAgIBARsJCQEVEgQTBRgEiA0NmCudGZYiAQEBBwEBAQEBARyBIotnAYJlEQFigiMMLxKBMQWUMQEHhGGCXoFsglGBP0WDU4t6gzuDXYELgTYkgT5vgQ06gQQBAQE X-IronPort-AV: E=Sophos;i="5.15,465,1432591200"; d="scan'208";a="170073920" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 13 Jul 2015 23:06:06 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 0C3A2602562; Mon, 13 Jul 2015 17:05:01 -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 sK2BhYJ2kGQd; Mon, 13 Jul 2015 17:05:00 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 6988660250C; Mon, 13 Jul 2015 17:04:58 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id B8E56602040 for ; Mon, 13 Jul 2015 17:04:55 -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 ZnHwgiPLLTZb for ; Mon, 13 Jul 2015 17:04:55 -0400 (EDT) Received: from ndmsnpf01.ndc.nasa.gov (ndmsnpf01.ndc.nasa.gov [198.117.0.121]) by lists.nasa.gov (Postfix) with ESMTP id 96829601692 for ; Mon, 13 Jul 2015 17:04:55 -0400 (EDT) Received: from ndjsppt103.ndc.nasa.gov (ndjsppt103.ndc.nasa.gov [198.117.1.197]) by ndmsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 21B3BB2EE for ; Mon, 13 Jul 2015 16:04:39 -0500 (CDT) Received: from NDJSCHT108.ndc.nasa.gov (ndjscht108-pub.ndc.nasa.gov [198.117.1.208]) by ndjsppt103.ndc.nasa.gov (8.15.0.59/8.15.0.59) with ESMTP id t6DL4cjf011315 for ; Mon, 13 Jul 2015 16:04:38 -0500 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.1.117]) by NDJSCHT108.ndc.nasa.gov ([198.117.1.208]) with mapi id 14.03.0224.002; Mon, 13 Jul 2015 16:04:39 -0500 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: Final CFP -- 11th Int. Workshop on Developments in Computational Models Thread-Index: AQHQva+HcnTwbyUnWkCgIAh1YAaxGA== Date: Mon, 13 Jul 2015 21:04:37 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.5.2.150604 x-originating-ip: [146.165.82.38] Content-ID: <4A1D5FE67406614995B72F3D15A76BCA@mail.nasa.gov> MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2015-07-13_10:, , 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] Final CFP -- 11th Int. Workshop on Developments in Computational Models RklOQUwgQ0FMTCBGT1IgUEFQRVJTIC0tIERDTSAyMDE1DQoNCjExdGggSW50 ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBEZXZlbG9wbWVudHMgaW4gQ29tcHV0 YXRpb25hbCBNb2RlbHMNCg0KT2N0b2JlciAyOCwgMjAxNSwgQ2FsaSwgQ29s b21iaWENCmh0dHA6Ly9kY20td29ya3Nob3Aub3JnLnVrLzIwMTUvDQoNCkEg c2F0ZWxsaXRlIGV2ZW50IG9mIElDVEFDIDIwMTUgLSBodHRwOi8vd3d3Lmlj dGFjMjAxNS5jbw0KDQpERUFETElORSBGT1IgU1VCTUlTU0lPTiBPRiBFWFRF TkRFRCBBQlNUUkFDVFMgKDUgcGFnZXMpOiBBVUdVU1QgMywgMjAxNQ0KPT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09DQoNClNldmVyYWwgbmV3IG1vZGVscyBvZiBjb21wdXRhdGlvbiBo YXZlIGVtZXJnZWQgaW4gdGhlIGxhc3QgZmV3IHllYXJzLCBhbmQNCm1hbnkg ZGV2ZWxvcG1lbnRzIG9mIHRyYWRpdGlvbmFsIGNvbXB1dGF0aW9uYWwgbW9k ZWxzIGhhdmUgYmVlbiBwcm9wb3NlZA0Kd2l0aCB0aGUgYWltIG9mIHRha2lu ZyBpbnRvIGFjY291bnQgdGhlIG5ldyBkZW1hbmRzIG9mIGNvbXB1dGVyIHN5 c3RlbXMNCnVzZXJzIGFuZCB0aGUgbmV3IGNhcGFiaWxpdGllcyBvZiBjb21w dXRhdGlvbiBlbmdpbmVzLiBBIG5ldyBjb21wdXRhdGlvbmFsDQptb2RlbCwg b3IgYSBuZXcgZmVhdHVyZSBpbiBhIHRyYWRpdGlvbmFsIG9uZSwgdXN1YWxs eSBpcyByZWZsZWN0ZWQgaW4gYQ0KbmV3IGZhbWlseSBvZiBwcm9ncmFtbWlu ZyBsYW5ndWFnZXMsIGFuZCBuZXcgcGFyYWRpZ21zIG9mIHNvZnR3YXJlDQpk ZXZlbG9wbWVudC4NCg0KRENNIDIwMTUgaXMgdGhlIGVsZXZlbnRoIGluIGEg c2VyaWVzIG9mIGludGVybmF0aW9uYWwgd29ya3Nob3BzIGZvY3VzaW5nDQpv biBuZXcgY29tcHV0YXRpb25hbCBtb2RlbHMuIFRoZSBhaW0gb2YgdGhpcyB3 b3Jrc2hvcCBpcyB0byBicmluZyB0b2dldGhlcg0KcmVzZWFyY2hlcnMgd2hv IGFyZSBjdXJyZW50bHkgZGV2ZWxvcGluZyBuZXcgY29tcHV0YXRpb25hbCBt b2RlbHMgb3IgbmV3DQpmZWF0dXJlcyBmb3IgdHJhZGl0aW9uYWwgY29tcHV0 YXRpb25hbCBtb2RlbHMsIGluIG9yZGVyIHRvIGZvc3RlciB0aGVpcg0KaW50 ZXJhY3Rpb24sIHRvIHByb3ZpZGUgYSBmb3J1bSBmb3IgcHJlc2VudGluZyBu ZXcgaWRlYXMgYW5kIHdvcmsgaW4NCnByb2dyZXNzLCBhbmQgdG8gZW5hYmxl IG5ld2NvbWVycyB0byBsZWFybiBhYm91dCBjdXJyZW50IGFjdGl2aXRpZXMg aW4NCnRoaXMgYXJlYS4NCg0KRENNIDIwMTUgd2lsbCBiZSBhIG9uZS1kYXkg c2F0ZWxsaXRlIGV2ZW50IG9mIElDVEFDIDIwMTUsIHRoZSBUd2VsZnRoDQpJ bnRlcm5hdGlvbmFsIENvbGxvcXVpdW0gb24gVGhlb3JldGljYWwgQXNwZWN0 cyBvZiBDb21wdXRpbmcuDQoNCj09IFRPUElDUyBPRiBJTlRFUkVTVA0KVG9w aWNzIG9mIGludGVyZXN0IGluY2x1ZGUgYWxsIGFic3RyYWN0IG1vZGVscyBv ZiBjb21wdXRhdGlvbiBhbmQgdGhlaXINCnByb3BlcnRpZXMsIGFuZCB0aGVp ciBhcHBsaWNhdGlvbnMgdG8gdGhlIGRldmVsb3BtZW50IG9mIHByb2dyYW1t aW5nDQpsYW5ndWFnZXMgYW5kIHN5c3RlbXM6DQoNCi0gZnVuY3Rpb25hbCBj YWxjdWxpOiBsYW1iZGEtY2FsY3VsdXMsIHJoby1jYWxjdWx1cywgdGVybSBh bmQgZ3JhcGgNCnJld3JpdGluZzsNCi0gcXVhbnR1bSBjb21wdXRhdGlvbiwg aW5jbHVkaW5nIGltcGxlbWVudGF0aW9ucyBhbmQgZm9ybWFsIG1ldGhvZHMg aW4NCnF1YW50dW0gcHJvdG9jb2xzOw0KLSBwcm9iYWJpbGlzdGljIGNvbXB1 dGF0aW9uIGFuZCB2ZXJpZmljYXRpb24gaW4gbW9kZWxpbmcgc2l0dWF0aW9u czsNCi0gY2hlbWljYWwsIGJpb2xvZ2ljYWwgYW5kIGJpby1pbnNwaXJlZCBj b21wdXRhdGlvbiwgaW5jbHVkaW5nIHNwYXRpYWwNCm1vZGVscywgc2VsZi1h c3NlbWJseSwgZ3Jvd3RoIG1vZGVsczsNCi0gbW9kZWxzIG9mIGNvbmN1cnJl bmN5LCBpbmNsdWRpbmcgdGhlIHRyZWF0bWVudCBvZiBtb2JpbGl0eSwgdHJ1 c3QsIGFuZA0Kc2VjdXJpdHk7DQotIGluZmluaXRhcnkgbW9kZWxzIG9mIGNv bXB1dGF0aW9uOw0KLSBpbmZvcm1hdGlvbi10aGVvcmV0aWMgaWRlYXMgaW4g Y29tcHV0aW5nLg0KDQo9PSBJTVBPUlRBTlQgREFURVMNCi0gU3VibWlzc2lv biBEZWFkbGluZSBmb3IgRXh0ZW5kZWQgQWJzdHJhY3RzOiBBdWd1c3QgMw0K LSBOb3RpZmljYXRpb246IDEzIFNlcHRlbWJlcg0KLSBQcmUtcHJvY2VlZGlu Z3MgdmVyc2lvbiBkdWU6IDUgT2N0b2Jlcg0KLSBXb3Jrc2hvcDogMjggT2N0 b2Jlcg0KLSBTdWJtaXNzaW9uIERlYWRsaW5lIGZvciBFUFRDUyBQcm9jZWVk aW5nczogNyBEZWNlbWJlcg0KDQo9PSBJTlZJVEVEIFNQRUFLRVJTDQpNYXVy aWNpbyBBeWFsYSBSaW5jw7NuLCBVbml2ZXJzaWRhZGUgZGUgQnJhc2lsaWEg KEJyYXppbCkuDQpHaWxsZXMgRG93ZWssIElOUklBIChGcmFuY2UpLg0KDQo9 PSBTVUJNSVNTSU9OUw0KU3VibWl0IHlvdXIgcGFwZXIgaW4gUERGIGZvcm1h dCB2aWEgdGhlIGNvbmZlcmVuY2UgRWFzeUNoYWlyIHN1Ym1pc3Npb24NCnBh Z2U6DQpodHRwczovL3d3dy5lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9j b25mPWRjbTIwMTUNCg0KU3VibWlzc2lvbnMgc2hvdWxkIGJlIGFuIGFic3Ry YWN0IG9mIGF0IG1vc3QgNSBwYWdlcywgd3JpdHRlbiBpbiBFbmdsaXNoLg0K U2ltdWx0YW5lb3VzIHN1Ym1pc3Npb24gdG8gam91cm5hbHMsIGNvbmZlcmVu Y2VzIG9yIG90aGVyIHdvcmtzaG9wcyBpcyBub3QNCnBlcm1pdHRlZC4gUGxl YXNlIHVzZSB0aGUgRVBUQ1MgbWFjcm8gcGFja2FnZSBhbmQgZm9sbG93IHRo ZSBpbnN0cnVjdGlvbnMNCm9mIEVQVENTLCBmb2xsb3dpbmcgdGhlIEVQVENT IHN0eWxlOg0KaHR0cDovL3N0eWxlLmVwdGNzLm9yZy8NCg0KQSBzdWJtaXNz aW9uIG1heSBjb250YWluIGFuIGFwcGVuZGl4LCBidXQgcmVhZGluZyB0aGUg YXBwZW5kaXggc2hvdWxkIG5vdA0KYmUgbmVjZXNzYXJ5IHRvIGFzc2VzcyBp dHMgbWVyaXRzLiBBZnRlciB0aGUgd29ya3Nob3AgYXV0aG9ycyBhcmUgaW52 aXRlZA0KdG8gc3VibWl0IGEgZnVsbCBwYXBlciBvZiB0aGVpciBwcmVzZW50 YXRpb24uIEFjY2VwdGVkIGNvbnRyaWJ1dGlvbnMgd2lsbA0KYXBwZWFyIGlu IGFuIGlzc3VlIG9mIEVQVENTLg0KDQo9PSBQUk9HUkFNIENPTU1JVFRFRToN Ck1hcmlvIEJlbmV2aWRlcyAoQnJhemlsKQ0KTHXDrXMgQ2FpcmVzIChQb3J0 dWdhbCkNClVnbyBEYWwgTGFnbyAoSXRhbHkpDQpOYWNodW0gRGVyc2hvd2l0 eiAoSXNyYWVsKQ0KSsOpcsO0bWUgRmVyZXQgKEZyYW5jZSkNCk1hcmNlbG8g RnJpYXMgKEFyZ2VudGluYSkNClJ1c3MgSGFybWVyIChGcmFuY2UpDQpJdmFu IExhbmVzZSAoSXRhbHkpDQpSYWR1IE1hcmRhcmUgKERlbm1hcmspDQpFbHZp cmEgTWF5b3Jkb21vIChTcGFpbikNCkPDqXNhciBBLiBNdcOxb3ogKFVTQSkg LSBjaGFpcg0KSm9yZ2UgQS4gUMOpcmV6IChUaGUgTmV0aGVybGFuZHMpIC0g Y2hhaXINCkFuZHLDqXMgU2ljYXJkLVJhbcOtcmV6IChDb2xvbWJpYSkNCkFs ZXhhbmRyYSBTaWx2YSAoVGhlIE5ldGhlcmxhbmRzKQ0KRGFuaWVsZSBWYXJh Y2NhIChGcmFuY2UpDQoNCi0tLQpUbyBvcHQtb3V0IGZyb20gdGhpcyBtYWls aW5nIGxpc3QsIHNlbmQgYW4gZW1haWwgdG8KCmZtLWFubm91bmNlbWVudHMt cmVxdWVzdEBsaXN0cy5uYXNhLmdvdgoKd2l0aCB0aGUgd29yZCAndW5zdWJz Y3JpYmUnIGFzIHN1YmplY3Qgb3IgaW4gdGhlIGJvZHkuIFlvdSBjYW4gYWxz byBtYWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3RpbmcKCmZtLWFubm91bmNl bWVudHMtb3duZXJAbGlzdHMubmFzYS5nb3Yg