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 BCBB27EE48 for ; Mon, 2 Mar 2015 20:43:19 +0100 (CET) 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: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of fm-announcements-bounces@lists.nasa.gov) 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 Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of postmaster@lists.nasa.gov) 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-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CcAQDbvPRUnOX5nIBag1RbA4I/R71DbAqGDoEJTQEBAQEBARABAQEBAQgLCQkULoQRBQEBAQkRBhESCAIYBg4DAQIGAgEBBhwCEQ0EBAICAgEBGwkJARUSBBMFGASIDg2gLZxsmT4BCgEBAR6BIYsuAYJOEQFhgiMMLxKBMQWPeASDXIIWgTCCIYEaOYJniRiCSoM8gjQjgTxvAYEKOX8BAQE X-IPAS-Result: A0CcAQDbvPRUnOX5nIBag1RbA4I/R71DbAqGDoEJTQEBAQEBARABAQEBAQgLCQkULoQRBQEBAQkRBhESCAIYBg4DAQIGAgEBBhwCEQ0EBAICAgEBGwkJARUSBBMFGASIDg2gLZxsmT4BCgEBAR6BIYsuAYJOEQFhgiMMLxKBMQWPeASDXIIWgTCCIYEaOYJniRiCSoM8gjQjgTxvAYEKOX8BAQE X-IronPort-AV: E=Sophos;i="5.09,677,1418079600"; d="scan'208";a="124048909" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 02 Mar 2015 20:43:18 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id DC02B6037DC; Mon, 2 Mar 2015 14:18:45 -0500 (EST) 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 nEOpax4z2Ny1; Mon, 2 Mar 2015 14:18:45 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id EAEDD602E63; Mon, 2 Mar 2015 14:18:42 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 6E0D6602DC9 for ; Mon, 2 Mar 2015 14:18:39 -0500 (EST) 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 j5EBqfUDdIKm for ; Mon, 2 Mar 2015 14:18:39 -0500 (EST) Received: from ndmsnpf02.ndc.nasa.gov (ndmsnpf02.ndc.nasa.gov [198.117.0.122]) by lists.nasa.gov (Postfix) with ESMTP id 4C959602B21 for ; Mon, 2 Mar 2015 14:18:39 -0500 (EST) Received: from ndjsppt105.ndc.nasa.gov (ndjsppt105.ndc.nasa.gov [198.117.1.199]) by ndmsnpf02.ndc.nasa.gov (Postfix) with ESMTP id 049C3108014; Mon, 2 Mar 2015 13:18:23 -0600 (CST) Received: from NDJSCHT113.ndc.nasa.gov (ndjscht113-pub.ndc.nasa.gov [198.117.1.213]) by ndjsppt105.ndc.nasa.gov (8.14.7/8.14.7) with ESMTP id t22JINl3023154; Mon, 2 Mar 2015 13:18:23 -0600 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.4.45]) by NDJSCHT113.ndc.nasa.gov ([198.117.1.213]) with mapi id 14.03.0224.002; Mon, 2 Mar 2015 13:18:24 -0600 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: 11th International Workshop on Developments in Computational Models Thread-Index: AQHQVR2mWnikLzFd9U6efOWpLHL45Q== Date: Mon, 2 Mar 2015 19:18:23 +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.7.141117 x-originating-ip: [146.165.82.38] Content-ID: MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.13.68, 1.0.33, 0.0.0000 definitions=2015-03-02_03:2015-03-02,2015-03-02,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] CFP: 11th International Workshop on Developments in Computational Models PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09DQpDQUxMIEZPUiBQQVBFUlMgLS0gRENNIDIwMTUNCjExdGgg SW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbg0KRGV2ZWxvcG1lbnRzIGluIENv bXB1dGF0aW9uYWwgTW9kZWxzDQoNCk9jdG9iZXIgMjgsIDIwMTUsIENhbGks IENvbG9tYmlhDQpodHRwOi8vZGNtLXdvcmtzaG9wLm9yZy51ay8yMDE1Lw0K QSBzYXRlbGxpdGUgZXZlbnQgb2YgSUNUQUMgMjAxNSAtIGh0dHA6Ly93d3cu aWN0YWMyMDE1LmNvDQo8aHR0cDovL3d3dy5pY3RhYzIwMTUuY28vPg0KDQpE RUFETElORSBGT1IgU1VCTUlTU0lPTlM6IEFVR1VTVCAzLCAyMDE1DQo9PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT0NCg0KU2V2ZXJhbCBuZXcgbW9kZWxzIG9mIGNvbXB1dGF0aW9uIGhh dmUgZW1lcmdlZCBpbiB0aGUgbGFzdCBmZXcgeWVhcnMsIGFuZA0KbWFueSBk ZXZlbG9wbWVudHMgb2YgdHJhZGl0aW9uYWwgY29tcHV0YXRpb25hbCBtb2Rl bHMgaGF2ZSBiZWVuIHByb3Bvc2VkDQp3aXRoIHRoZSBhaW0gb2YgdGFraW5n IGludG8gYWNjb3VudCB0aGUgbmV3IGRlbWFuZHMgb2YgY29tcHV0ZXIgc3lz dGVtcw0KdXNlcnMgYW5kIHRoZSBuZXcgY2FwYWJpbGl0aWVzIG9mIGNvbXB1 dGF0aW9uIGVuZ2luZXMuIEEgbmV3IGNvbXB1dGF0aW9uYWwNCm1vZGVsLCBv ciBhIG5ldyBmZWF0dXJlIGluIGEgdHJhZGl0aW9uYWwgb25lLCB1c3VhbGx5 IGlzIHJlZmxlY3RlZCBpbiBhDQpuZXcgZmFtaWx5IG9mIHByb2dyYW1taW5n IGxhbmd1YWdlcywgYW5kIG5ldyBwYXJhZGlnbXMgb2Ygc29mdHdhcmUNCmRl dmVsb3BtZW50Lg0KDQpEQ00gMjAxNSBpcyB0aGUgZWxldmVudGggaW4gYSBz ZXJpZXMgb2YgaW50ZXJuYXRpb25hbCB3b3Jrc2hvcHMgZm9jdXNpbmcNCm9u IG5ldyBjb21wdXRhdGlvbmFsIG1vZGVscy4gVGhlIGFpbSBvZiB0aGlzIHdv cmtzaG9wIGlzIHRvIGJyaW5nIHRvZ2V0aGVyDQpyZXNlYXJjaGVycyB3aG8g YXJlIGN1cnJlbnRseSBkZXZlbG9waW5nIG5ldyBjb21wdXRhdGlvbmFsIG1v ZGVscyBvciBuZXcNCmZlYXR1cmVzIGZvciB0cmFkaXRpb25hbCBjb21wdXRh dGlvbmFsIG1vZGVscywgaW4gb3JkZXIgdG8gZm9zdGVyIHRoZWlyDQppbnRl cmFjdGlvbiwgdG8gcHJvdmlkZSBhIGZvcnVtIGZvciBwcmVzZW50aW5nIG5l dyBpZGVhcyBhbmQgd29yayBpbg0KcHJvZ3Jlc3MsIGFuZCB0byBlbmFibGUg bmV3Y29tZXJzIHRvIGxlYXJuIGFib3V0IGN1cnJlbnQgYWN0aXZpdGllcyBp bg0KdGhpcyBhcmVhLg0KDQpEQ00gMjAxNSB3aWxsIGJlIGEgb25lLWRheSBz YXRlbGxpdGUgZXZlbnQgb2YgSUNUQUMgMjAxNSwgdGhlIFR3ZWxmdGgNCklu dGVybmF0aW9uYWwgQ29sbG9xdWl1bSBvbiBUaGVvcmV0aWNhbCBBc3BlY3Rz IG9mIENvbXB1dGluZy4NCg0KPT0gVE9QSUNTIE9GIElOVEVSRVNUDQpUb3Bp Y3Mgb2YgaW50ZXJlc3QgaW5jbHVkZSBhbGwgYWJzdHJhY3QgbW9kZWxzIG9m IGNvbXB1dGF0aW9uIGFuZCB0aGVpcg0KcHJvcGVydGllcywgYW5kIHRoZWly IGFwcGxpY2F0aW9ucyB0byB0aGUgZGV2ZWxvcG1lbnQgb2YgcHJvZ3JhbW1p bmcNCmxhbmd1YWdlcyBhbmQgc3lzdGVtczoNCg0KLSBmdW5jdGlvbmFsIGNh bGN1bGk6IGxhbWJkYS1jYWxjdWx1cywgcmhvLWNhbGN1bHVzLCB0ZXJtIGFu ZCBncmFwaA0KcmV3cml0aW5nOw0KLSBxdWFudHVtIGNvbXB1dGF0aW9uLCBp bmNsdWRpbmcgaW1wbGVtZW50YXRpb25zIGFuZCBmb3JtYWwgbWV0aG9kcyBp bg0KcXVhbnR1bSBwcm90b2NvbHM7DQotIHByb2JhYmlsaXN0aWMgY29tcHV0 YXRpb24gYW5kIHZlcmlmaWNhdGlvbiBpbiBtb2RlbGluZyBzaXR1YXRpb25z Ow0KLSBjaGVtaWNhbCwgYmlvbG9naWNhbCBhbmQgYmlvLWluc3BpcmVkIGNv bXB1dGF0aW9uLCBpbmNsdWRpbmcgc3BhdGlhbA0KbW9kZWxzLCBzZWxmLWFz c2VtYmx5LCBncm93dGggbW9kZWxzOw0KLSBtb2RlbHMgb2YgY29uY3VycmVu Y3ksIGluY2x1ZGluZyB0aGUgdHJlYXRtZW50IG9mIG1vYmlsaXR5LCB0cnVz dCwgYW5kDQpzZWN1cml0eTsNCi0gaW5maW5pdGFyeSBtb2RlbHMgb2YgY29t cHV0YXRpb247DQotIGluZm9ybWF0aW9uLXRoZW9yZXRpYyBpZGVhcyBpbiBj b21wdXRpbmcuDQoNCj09IElNUE9SVEFOVCBEQVRFUw0KLSBTdWJtaXNzaW9u IERlYWRsaW5lIGZvciBFeHRlbmRlZCBBYnN0cmFjdHM6IEF1Z3VzdCAzDQot IE5vdGlmaWNhdGlvbjogMTMgU2VwdGVtYmVyDQotIFByZS1wcm9jZWVkaW5n cyB2ZXJzaW9uIGR1ZTogNSBPY3RvYmVyDQotIFdvcmtzaG9wOiAyOCBPY3Rv YmVyDQotIFN1Ym1pc3Npb24gRGVhZGxpbmUgZm9yIEVQVENTIFByb2NlZWRp bmdzOiA3IERlY2VtYmVyDQoNCj09IElOVklURUQgU1BFQUtFUlMNCk1hdXJp Y2lvIEF5YWxhIFJpbmPDs24sIFVuaXZlcnNpZGFkZSBkZSBCcmFzaWxpYSAo QnJhemlsKS4NCkdpbGxlcyBEb3dlaywgSU5SSUEgKEZyYW5jZSkuDQoNCj09 IFNVQk1JU1NJT05TDQpTdWJtaXQgeW91ciBwYXBlciBpbiBQREYgZm9ybWF0 IHZpYSB0aGUgY29uZmVyZW5jZSBFYXN5Q2hhaXIgc3VibWlzc2lvbg0KcGFn ZToNCmh0dHBzOi8vd3d3LmVhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2Nv bmY9ZGNtMjAxNQ0KDQpTdWJtaXNzaW9ucyBzaG91bGQgYmUgYW4gYWJzdHJh Y3Qgb2YgYXQgbW9zdCA1IHBhZ2VzLCB3cml0dGVuIGluIEVuZ2xpc2guDQpT aW11bHRhbmVvdXMgc3VibWlzc2lvbiB0byBqb3VybmFscywgY29uZmVyZW5j ZXMgb3Igb3RoZXIgd29ya3Nob3BzIGlzIG5vdA0KcGVybWl0dGVkLg0KUGxl YXNlIHVzZSB0aGUgRVBUQ1MgbWFjcm8gcGFja2FnZSBhbmQgZm9sbG93IHRo ZSBpbnN0cnVjdGlvbnMgb2YgRVBUQ1MsDQpmb2xsb3dpbmcgdGhlIEVQVENT IHN0eWxlOg0KaHR0cDovL3N0eWxlLmVwdGNzLm9yZy8NCg0KQSBzdWJtaXNz aW9uIG1heSBjb250YWluIGFuIGFwcGVuZGl4LCBidXQgcmVhZGluZyB0aGUg YXBwZW5kaXggc2hvdWxkIG5vdA0KYmUgbmVjZXNzYXJ5IHRvIGFzc2VzcyBp dHMgbWVyaXRzLiBBZnRlciB0aGUgd29ya3Nob3AgYXV0aG9ycyBhcmUgaW52 aXRlZA0KdG8gc3VibWl0IGEgZnVsbCBwYXBlciBvZiB0aGVpciBwcmVzZW50 YXRpb24uIEFjY2VwdGVkIGNvbnRyaWJ1dGlvbnMgd2lsbA0KYXBwZWFyIGlu IGFuIGlzc3VlIG9mIEVQVENTLg0KDQo9PSBQUk9HUkFNIENPTU1JVFRFRToN Ck1hcmlvIEJlbmV2aWRlcyAoQnJhemlsKQ0KTHXDrXMgQ2FpcmVzIChQb3J0 dWdhbCkNClVnbyBEYWwgTGFnbyAoSXRhbHkpDQpOYWNodW0gRGVyc2hvd2l0 eiAoSXNyYWVsKQ0KSsOpcsO0bWUgRmVyZXQgKEZyYW5jZSkNCk1hcmNlbG8g RnJpYXMgKEFyZ2VudGluYSkNClJ1c3MgSGFybWVyIChGcmFuY2UpDQpJdmFu IExhbmVzZSAoSXRhbHkpDQpSYWR1IE1hcmRhcmUgKERlbm1hcmspDQpFbHZp cmEgTWF5b3Jkb21vIChTcGFpbikNCkPDqXNhciBBLiBNdcOxb3ogKFVTQSkg LSBjaGFpcg0KSm9yZ2UgQS4gUMOpcmV6IChUaGUgTmV0aGVybGFuZHMpIC0g Y2hhaXINCkFuZHLDqXMgU2ljYXJkLVJhbcOtcmV6IChDb2xvbWJpYSkNCkFs ZXhhbmRyYSBTaWx2YSAoVGhlIE5ldGhlcmxhbmRzKQ0KRGFuaWVsZSBWYXJh Y2NhIChGcmFuY2UpDQoNCj09IENPTlRBQ1QgSU5GT1JNQVRJT04NCg0KQ2Vz YXIgQS4gTXVub3ogKGNlc2FyLmEubXVub3pAbmFzYS5nb3YpDQpKb3JnZSBB LiBQZXJleiAoai5hLnBlcmV6QHJ1Zy5ubCkNCg0KLS0tClRvIG9wdC1vdXQg ZnJvbSB0aGlzIG1haWxpbmcgbGlzdCwgc2VuZCBhbiBlbWFpbCB0bwoKZm0t YW5ub3VuY2VtZW50cy1yZXF1ZXN0QGxpc3RzLm5hc2EuZ292Cgp3aXRoIHRo ZSB3b3JkICd1bnN1YnNjcmliZScgYXMgc3ViamVjdCBvciBpbiB0aGUgYm9k eS4gWW91IGNhbiBhbHNvIG1ha2UgdGhlIHJlcXVlc3QgYnkgY29udGFjdGlu ZwoKZm0tYW5ub3VuY2VtZW50cy1vd25lckBsaXN0cy5uYXNhLmdvdiA=