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 E6A7A822B9; Mon, 29 Apr 2019 16:52:50 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=finkbeiner@cs.uni-saarland.de; spf=Pass smtp.mailfrom=finkbeiner@cs.uni-saarland.de; spf=None smtp.helo=postmaster@thyone.hiz-saarland.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of finkbeiner@cs.uni-saarland.de) identity=pra; client-ip=134.96.7.232; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="finkbeiner@cs.uni-saarland.de"; x-sender="finkbeiner@cs.uni-saarland.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of finkbeiner@cs.uni-saarland.de designates 134.96.7.232 as permitted sender) identity=mailfrom; client-ip=134.96.7.232; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="finkbeiner@cs.uni-saarland.de"; x-sender="finkbeiner@cs.uni-saarland.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@thyone.hiz-saarland.de) identity=helo; client-ip=134.96.7.232; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="finkbeiner@cs.uni-saarland.de"; x-sender="postmaster@thyone.hiz-saarland.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5AoQzB0gtECWKQu/smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesXLvrxwZ3uMQTl6Ol3ixeRBMOHsqsC1bCd4/qocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalzIRmoognctdcaipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPisJ/kK1Urhy8qRJ83YDaZ5qYNPVicqPYZ94aRXZNU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOtFsYb9vV0OogajDgesBePvzDxIiWTo0q071eQuDxvG1xEnEtIAsX?= =?us-ascii?q?TUqtb1O7wMXuC0yqnH0y/DYuhK1jfm8oTIbxYhofCVUbJra8Xe01MvFwffgVWW?= =?us-ascii?q?tIPpJS6a2foUvmWd8uFuW+Wvi2s9pAFwpDii3tkjhZPShoMV1l/E9T92wIcvJd?= =?us-ascii?q?GiT057e9GkHINKtyGHMYt2XsIiQ2R2tyoj1L0Jp4S7fCkEyJQm2xHQceCHc4mP?= =?us-ascii?q?4hLlTuqRJi14hH19dLKigRay8FGsyvbmWcauylZKqjBKkt/RuXwXyhPc9NCLSu?= =?us-ascii?q?Bl/ke72DaP0Q/T5f9eIUwuiKXUNZgsyaMzmJoLqUnPAyH7lUrsgKKSd0go4Oql?= =?us-ascii?q?5/75brjouJOQL5J4hwP9P6g0hMCyAP40PhUAUmWb4+iwybnu8EvkS7tQlPI2iL?= =?us-ascii?q?PWsJXCKMQbuKG5BwhV354/6xa/Dzam19IYkmcdIFJFeRKGjpHlO0rUL//iF/e/?= =?us-ascii?q?h06jkDF2yPzcI7LuHI3BLnnFkLj/YbZw81NQxQQ8wNxF459ZC6sNLfDpVkPvut?= =?us-ascii?q?HUEAc1MwmuzObmDNV92JkeWWWKAqKBPqPSsFmI5uE0LOaSZY8VvijyK+I+6vHy?= =?us-ascii?q?ln81g0Idfa+o3ZcOc3C3BO5pI1+dYXX2hNcODH0GsRcgQ+Dykl2NTSZTZ2quX6?= =?us-ascii?q?I7/jw0FJipDYLHRoy0hLyB3Ty7HoFNa2BdClGMFG/oeJ+eV/cNbiKSOM5hnSYe?= =?us-ascii?q?WbivUY8rzQuuuxPiy7p7MurU/TUVtZPl1Nh74O3fjBAy+iBvAsSG02CNSnl0kX?= =?us-ascii?q?kSSz832qB/u019xU2Z3ah2mfxSDcZT6O9RUgcmKZ7cyPR3C9LsVQLdZdqJU1an?= =?us-ascii?q?QtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqCacPl7OXHJw07r7c33/pKsZmy3fG0b?= =?us-ascii?q?Ehj149QstOL2Kqn7R/+BbKB47UjUqZjLqqeL8H3C/N8WeD1XCBsFtZUA52S6XF?= =?us-ascii?q?XGoQalHYrdTjtQv+SOqEBK4hPkNvyMiBIKZLbNDzxQFIRfHgMtnfZW+rs2yrQw?= =?us-ascii?q?uOx/aXZszmdjNO8j/aDR0unhoV8T6oNA49DCqgpW/ERGhgFFTsaU7t9+RkgHig?= =?us-ascii?q?CFIyzkSRZkR707Oz9lgZiKrPGLsowrsYtXJ5+H1PF1Gn0oeOUovSl09aZKxZJO?= =?us-ascii?q?gFzhJC3GPduRZ6O8b4fat5wEMYckFstkr00xxxBsNMnJpz9S94/E9JMaudlWh5?= =?us-ascii?q?WXaAx5mqYu/cMS/v+hHqcKffwFXX1trQ9qpdsK1l+WWmhxmgEw8Zy1si09RR1C?= =?us-ascii?q?HAtInKHQ0UXNTxU1Ry7BFzvbXTZCV7646GjXA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D4AQAuD8dch+gHYIZmHQEBBQEHBQGBZ?= =?us-ascii?q?YJ5UjIUFIQQkyGBaDSaPAsFIwkBgUuJKRsHAQQ0EwEDAQEEAQECAQEBARMBAQE?= =?us-ascii?q?KCwkIKSMMgjoigxIGRQUFZAIEWyeDDgGCCAQLnmaOeIEvhDIBhWcQgTKBTYl9F?= =?us-ascii?q?4F/gREnDBOBN4FTgQSBRA4LAwEYgSCDMTKCJgSKbxibC2UJgS9cgwCDEYw9i34?= =?us-ascii?q?FiSSDa4VEglqGRYsWgx6BLzeBd3FPKgGCQQk1WYEQAoQIhGGFQT0BATEBgQUBA?= =?us-ascii?q?ZBgglIBAQ?= X-IPAS-Result: =?us-ascii?q?A0D4AQAuD8dch+gHYIZmHQEBBQEHBQGBZYJ5UjIUFIQQkyG?= =?us-ascii?q?BaDSaPAsFIwkBgUuJKRsHAQQ0EwEDAQEEAQECAQEBARMBAQEKCwkIKSMMgjoig?= =?us-ascii?q?xIGRQUFZAIEWyeDDgGCCAQLnmaOeIEvhDIBhWcQgTKBTYl9F4F/gREnDBOBN4F?= =?us-ascii?q?TgQSBRA4LAwEYgSCDMTKCJgSKbxibC2UJgS9cgwCDEYw9i34FiSSDa4VEglqGR?= =?us-ascii?q?YsWgx6BLzeBd3FPKgGCQQk1WYEQAoQIhGGFQT0BATEBgQUBAZBgglIBAQ?= X-IronPort-AV: E=Sophos;i="5.60,409,1549926000"; d="p7s'?scan'208";a="380910425" X-MGA-submission: =?us-ascii?q?MDGiKd/+Cf+wqZyvgBIgHwMBUURykWtUGKpZYF?= =?us-ascii?q?3pTGO2uCyJH8PQkMgICuxLb9+0fXcXco9xlyRGkvNs5Y9dp+QZHaq4UZ?= =?us-ascii?q?GsCJA5eP/2y2Uw7fXtzK2SRaPmDjRvYGflXgwoxpt9oFY5ErmvTWeK1L?= =?us-ascii?q?8OXZweIADzedmbDQ1DRlZx0Q=3D=3D?= Received: from thyone.hiz-saarland.de ([134.96.7.232]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Apr 2019 16:52:30 +0200 Received: from localhost (localhost [127.0.0.1]) by thyone.hiz-saarland.de (Postfix) with ESMTP id 1F9A34D966EF; Mon, 29 Apr 2019 16:52:30 +0200 (CEST) X-Virus-Scanned: amavisd-new at theia.rz.uni-saarland.de Received: from thyone.hiz-saarland.de ([127.0.0.1]) by localhost (thyone.hiz-saarland.de [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id GecryMVsGfxj; Mon, 29 Apr 2019 16:52:26 +0200 (CEST) Received: from [10.0.1.7] (ipb21a8713.dynamic.kabel-deutschland.de [178.26.135.19]) by thyone.hiz-saarland.de (Postfix) with ESMTPSA; Mon, 29 Apr 2019 16:52:26 +0200 (CEST) From: Bernd Finkbeiner Content-Type: multipart/signed; boundary="Apple-Mail=_FCA1AD41-951B-4F23-911C-CAB8836820D8"; protocol="application/pkcs7-signature"; micalg=sha-256 Mime-Version: 1.0 (Mac OS X Mail 12.0 \(3445.100.39\)) Date: Mon, 29 Apr 2019 16:52:25 +0200 Message-Id: <6496FAFE-5861-403C-A63E-8F0558C177A4@cs.uni-saarland.de> To: Bernd Finkbeiner X-Mailer: Apple Mail (2.3445.100.39) Subject: [Caml-list] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE --Apple-Mail=_FCA1AD41-951B-4F23-911C-CAB8836820D8 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 [ Apologize for Multiple Copies ] **************************************************************** DEADLINE EXTENSION Abstract deadline May 21, 2019 Submission deadline May 21, 2019 **************************************************************** Call for Papers RV 2019 19th International Conference on Runtime Verification Porto, Portugal October 8-11, 2019 NEW IN 2019: Benchmark Papers Track https://www.react.uni-saarland.de/rv2019/ # Scope Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages for monitoring * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * dynamic type checking Application areas of runtime verification include cyber-physical systems, safety/mission critical systems, enterprise and systems software, cloud systems, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. # Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=3Drv19 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2019 to present. # Papers There are four categories of papers which can be submitted: regular, short, tool demo, and benchmark papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. * Tool Demonstration Papers (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. * Benchmark Papers (up to 10 pages, not including references, NEW IN 2019) should describe a benchmark, suite of benchmarks, or benchmark generator useful for evaluating RV tools. Papers will should include information as to what the benchmark consists of and its purpose (what is the domain), how to obtain and use the benchmark, an argument for the usefulness of the benchmark to the broader RV community, and may include any existing results produced using the benchmark. We are interested in both benchmarks pertaining to real-world scenarios and those containing synthetic data designed to achieve interesting properties. Broader definitions of benchmark e.g. for generating specifications from data or diagnosing faults are within scope. Finally, we encourage but do not require benchmarks that are tool agnostic (especially those that have been used to evaluate multiple tools), labelled benchmarks with rigorous arguments for correctness of labels, and benchmarks that are demonstrably challenging with respect to the state-of-the-art tools. Benchmark papers must be accompanied by an easily accessible and usable benchmark submission. Papers will be evaluated by a separate benchmark evaluation panel who will asses the benchmarks relevance, clarity, and utility as communicated by the submitted paper. The Program Committee of RV 2019 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special journal issue. # Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee. Important Dates # Website https://www.react.uni-saarland.de/rv2019/ # Important Dates Abstract deadline: May 21, 2019 Paper and tutorial deadline: May 21, 2019 Paper and tutorial notification: July 1, 2019 Camera-ready deadline: July 14, 2019 Conference: October 8 - 11, 2019 # Program Committee Wolfgang Ahrendt, Chalmers University of Technology Howard Barringer, The University of Manchester Ezio Bartocci, Vienna University of Technology Andreas Bauer, KUKA Eric Bodden, Paderborn University and Fraunhofer IEM Borzoo Bonakdarpour, Iowa State University Christian Colombo, University of Malta Ylies Falcone, Univ. Grenoble Alpes, CNRS, Inria Lu Feng, University of Virginia Bernd Finkbeiner, Saarland University Adrian Francalanza, University of Malta Radu Grosu, TU Vienna Sylvain Hall=C3=A9, Universit=C3=A9 du Qu=C3=A9bec =C3=A0 Chicoutimi Klaus Havelund, Jet Propulsion Laboratory Catalin Hritcu, INRIA Felix Klaedtke, NEC Labs Europe Axel Legay, UCLouvain David Lo, Singapore Management University Leonardo Mariani, University of Milano Bicocca Viviana Mascardi, DIBRIS, University of Genova Dejan Nickovic, Austrian Institute of Technology AIT Ayoub Nouri, Verimag Gordon Pace, University of Malta Doron Peled, Bar Ilan University Ka I Pun, Western Norway University of Applied Sciences Jorge A. P=C3=A9rez, University of Groningen Giles Reger, The University of Manchester Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, Iowa State University Cesar Sanchez, IMDEA Software Institute Gerardo Schneider, University of Gothenburg Nastaran Shafiei, NASA Ames Research Center/SGT Julien Signoles, CEA LIST Scott Smolka, Stony Brook University Oleg Sokolsky, University of Pennsylvania Bernhard Steffen, Univ Dortmund Scott Stoller, Stony Brook University Volker Stolz, H=C3=B8gskulen p=C3=A5 Vestlandet Neil Walkinshaw, The University of Sheffield Chao Wang, University of Southern California Xiangyu Zhang, Purdue University= --Apple-Mail=_FCA1AD41-951B-4F23-911C-CAB8836820D8 Content-Disposition: attachment; filename=smime.p7s Content-Type: application/pkcs7-signature; name=smime.p7s Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG 9w0BBwEAAKCCEFcwggTVMIIDvaADAgECAghQTsb1PRG0ZDANBgkqhkiG9w0B AQsFADBxMQswCQYDVQQGEwJERTEcMBoGA1UEChMTRGV1dHNjaGUgVGVsZWtv bSBBRzEfMB0GA1UECxMWVC1UZWxlU2VjIFRydXN0IENlbnRlcjEjMCEGA1UE AxMaRGV1dHNjaGUgVGVsZWtvbSBSb290IENBIDIwHhcNMTQwNzIyMTIwODI2 WhcNMTkwNzA5MjM1OTAwWjBaMQswCQYDVQQGEwJERTETMBEGA1UEChMKREZO LVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB CgKCAQEA6ZvDZ4X5Da71jVTDllA1PWLpbkztlNcAW5UidNQg6zSP1uzAMQQL mYHiphTSUqAoI4SLdIkEXlvg4njBeMsWyyg1OXstkEXQ7aAAeny/Sg4bAMOG 6VwrMRF7DPOCJEOMHDiLamgAmu7cT3ir0sYTm3at7t4m6O8Br3QPwQmi9mvO vdPNFDBP9eXjpMhim4IaAycwDQJlYE3t0QkjKpY1WCfTdsZxtpAdxO3/NYZ9 bzOz2w/FEcKKg6GUXUFr2NIQ9Uz9ylGs2b3vkoO72uuLFlZWQ8/h1RM9ph8n MM1JVNvJEzSacXXFbOqnC5j5IZ0nrz6jOTlIaoytyZn7wxLyvQIDAQABo4IB hjCCAYIwDgYDVR0PAQH/BAQDAgEGMB0GA1UdDgQWBBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAfBgNVHSMEGDAWgBQxw3kbuvVT1xfgiXotF2wKsyudMzASBgNV HRMBAf8ECDAGAQH/AgECMGIGA1UdIARbMFkwEQYPKwYBBAGBrSGCLAEBBAIC MBEGDysGAQQBga0hgiwBAQQDADARBg8rBgEEAYGtIYIsAQEEAwEwDwYNKwYB BAGBrSGCLAEBBDANBgsrBgEEAYGtIYIsHjA+BgNVHR8ENzA1MDOgMaAvhi1o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL3JsL0RUX1JPT1RfQ0FfMi5jcmww eAYIKwYBBQUHAQEEbDBqMCwGCCsGAQUFBzABhiBodHRwOi8vb2NzcDAzMzYu dGVsZXNlYy5kZS9vY3NwcjA6BggrBgEFBQcwAoYuaHR0cDovL3BraTAzMzYu dGVsZXNlYy5kZS9jcnQvRFRfUk9PVF9DQV8yLmNlcjANBgkqhkiG9w0BAQsF AAOCAQEAYyAo/ZwhhnK+OUZZOTIlvKkBmw3Myn1BnIZtCm4ssxNZdbEzkhth Jxb/w7LVNYL7hCoBSb1mu2YvssIGXW4/buMBWlvKQ2NclbbhMacf1QdfTeZl gk4y+cN8ekvNTVx07iHydQLsUj7SyWrTkCNuSWc1vn9NVqTszC/Pt6GXqHI+ ybxA1lqkCD3WvILDt7cyjrEsjmpttzUCGc/1OURYY6ckABCwu/xOr24vOLul V0k/2G5QbyyXltwdRpplic+uzPLl2Z9Tsz6hL5Kp2AvGhB8Exuse6J99tXul AvEkxSRjETTMWpMgKnmIOiVCkKllO3yG0xIVIyn8LNrMOVtUFzCCBYwwggR0 oAMCAQICBxev9pPAhXQwDQYJKoZIhvcNAQELBQAwWjELMAkGA1UEBhMCREUx EzARBgNVBAoTCkRGTi1WZXJlaW4xEDAOBgNVBAsTB0RGTi1QS0kxJDAiBgNV BAMTG0RGTi1WZXJlaW4gUENBIEdsb2JhbCAtIEcwMTAeFw0xNDA2MDUxNDA0 NTFaFw0xOTA3MDkyMzU5MDBaMIGsMQswCQYDVQQGEwJERTERMA8GA1UECBMI U2FhcmxhbmQxFTATBgNVBAcTDFNhYXJicnVlY2tlbjEkMCIGA1UEChMbVW5p dmVyc2l0YWV0IGRlcyBTYWFybGFuZGVzMScwJQYDVQQDEx5DQSBVbml2ZXJz aXRhZXQgZGVzIFNhYXJsYW5kZXMxJDAiBgkqhkiG9w0BCQEWFWNhQHJ6LnVu aS1zYWFybGFuZC5kZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEB ANykpS9bu29ulZnW1/S4Ib9R51GOKwh8EGUVVH6HHphICSYhFDHWOl4UxPpA mz2dzWI7UgNHSB2zEyDlwmtKYUcWWNDauMArLj1Bea7zIsDz23fFzgL3s2Gy VML+hT5nOe+ZLHStNZingoXWdA22KuRDV5beupYnlca6TIYmP1eNU+TnF2Zk spP+D9dwUU2J/G9Zillk+bOiPcukS23MNrbwUBFSwWVT5TW25mV+k3QCe0pm K6p9t79xzPP/SxcT6g+3dDDIFQnSGb5BRFAKBFCNEYCxJHn+IJbcUVvrJy8B dmI8O+u4+0qpiWev0Caqpw4eMGhPu05ytO5ChFPpHO8CAwEAAaOCAgIwggH+ MBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0PAQH/BAQDAgEGMBEGA1UdIAQK MAgwBgYEVR0gADAdBgNVHQ4EFgQU9qaM8CsZyIn95Y+FgsTcFjjtaHUwHwYD VR0jBBgwFoAUSbfGz+g9H3/qRHsTKffxCnA+3mQwIAYDVR0RBBkwF4EVY2FA cnoudW5pLXNhYXJsYW5kLmRlMIGIBgNVHR8EgYAwfjA9oDugOYY3aHR0cDov L2NkcDEucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY3JsL2NhY3Js LmNybDA9oDugOYY3aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9v dC1jYS9wdWIvY3JsL2NhY3JsLmNybDCB1wYIKwYBBQUHAQEEgcowgccwMwYI KwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1TZXJ2ZXIv T0NTUDBHBggrBgEFBQcwAoY7aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9i YWwtcm9vdC1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwRwYIKwYBBQUHMAKG O2h0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtY2EvcHViL2Nh Y2VydC9jYWNlcnQuY3J0MA0GCSqGSIb3DQEBCwUAA4IBAQARER7j9BhRwPeI C8y2vcRX1d3JqtsYGW5Ddbs1wSknfYJAC/sXtl3SrrN5U1uAxB/1Leo3H8BZ /C/13W+iw+nzinCBvmGOvc4zG9CryDdwNui5ifHzwWFWk98VCTPw9bd5PrPf 4IzCoDl2Zm0zDgqCC2VJJtqL0kGy8KopHUWk/w0j3vYnpcHGMzUiS3wGjb4o OgOUf32QaWKFOyqazEJnJiXoKT/SKxtFQaRS7WfYqBVcCU64fstTCcnAKKEn FLNBRSZ8AGYkL+xMNCUmYKJL24r7MJqKBF78+HR8HlBIfKoWz014QXA9OgMT AnbwnOZ4WfaLonlkVUZ9SZCzYP5FMIIF6jCCBNKgAwIBAgIHG3o4nKB31TAN BgkqhkiG9w0BAQsFADCBrDELMAkGA1UEBhMCREUxETAPBgNVBAgTCFNhYXJs YW5kMRUwEwYDVQQHEwxTYWFyYnJ1ZWNrZW4xJDAiBgNVBAoTG1VuaXZlcnNp dGFldCBkZXMgU2FhcmxhbmRlczEnMCUGA1UEAxMeQ0EgVW5pdmVyc2l0YWV0 IGRlcyBTYWFybGFuZGVzMSQwIgYJKoZIhvcNAQkBFhVjYUByei51bmktc2Fh cmxhbmQuZGUwHhcNMTYwNjEwMTMwNTE2WhcNMTkwNjEwMTMwNTE2WjBOMQsw CQYDVQQGEwJERTEkMCIGA1UECgwbVW5pdmVyc2l0YWV0IGRlcyBTYWFybGFu ZGVzMRkwFwYDVQQDDBBCZXJuZCBGaW5rYmVpbmVyMIIBIjANBgkqhkiG9w0B AQEFAAOCAQ8AMIIBCgKCAQEAw14xMniGF9gI7ZwrD+UlXa4MT20JrlV9rOOq y+4tQXDOFMDcnAAz9kDLYNRn8guldt3nR4bUACZbaJwsjopd5VS9Z1dQRXoE Dn7lBfq9GJDqv+77p6fKp1KRwk2rZ0vWqKenmnDMPseClYUPIosYDPx3jHou Pzo2nraTo8n9fbH51P+8JDQcZg3Oa/ksJO5HSC1OUHzOpysXSPYmE+clt4C8 nQXDPRdBC54iD9lr8fX/pVlSR9troxQPb5lc2dd15mK+7v8Jl0fQMP3EzE68 OpL1qq4FUzaVcnHKN9wNRGjNPaYcoMyfEzMNKqoPt46SDnvdfdrW1ssixvNy CsPl+QIDAQABo4ICbDCCAmgwQAYDVR0gBDkwNzARBg8rBgEEAYGtIYIsAQEE AwUwEQYPKwYBBAGBrSGCLAIBBAMBMA8GDSsGAQQBga0hgiwBAQQwCQYDVR0T BAIwADAOBgNVHQ8BAf8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsG AQUFBwMEMB0GA1UdDgQWBBTTnEyrGeSE3hiisWrFyjK38GSpsTAfBgNVHSME GDAWgBT2pozwKxnIif3lj4WCxNwWOO1odTAoBgNVHREEITAfgR1maW5rYmVp bmVyQGNzLnVuaS1zYWFybGFuZC5kZTCBlwYDVR0fBIGPMIGMMESgQqBAhj5o dHRwOi8vY2RwMS5wY2EuZGZuLmRlL3VuaS1kZXMtc2FhcmxhbmRlcy1jYS9w dWIvY3JsL2NhY3JsLmNybDBEoEKgQIY+aHR0cDovL2NkcDIucGNhLmRmbi5k ZS91bmktZGVzLXNhYXJsYW5kZXMtY2EvcHViL2NybC9jYWNybC5jcmwwgeUG CCsGAQUFBwEBBIHYMIHVMDMGCCsGAQUFBzABhidodHRwOi8vb2NzcC5wY2Eu ZGZuLmRlL09DU1AtU2VydmVyL09DU1AwTgYIKwYBBQUHMAKGQmh0dHA6Ly9j ZHAxLnBjYS5kZm4uZGUvdW5pLWRlcy1zYWFybGFuZGVzLWNhL3B1Yi9jYWNl cnQvY2FjZXJ0LmNydDBOBggrBgEFBQcwAoZCaHR0cDovL2NkcDIucGNhLmRm bi5kZS91bmktZGVzLXNhYXJsYW5kZXMtY2EvcHViL2NhY2VydC9jYWNlcnQu Y3J0MA0GCSqGSIb3DQEBCwUAA4IBAQAj0zEQavj1U2Y5jK3KDQnPt2MBvoqT BwmB3KEatC1e9/kIcpe/ObemvwRWykEOalvN8aCVFR1ORJqq86dAA0FETxio F5ubB2iFbuL9pTA65BHwUC1+uAXnz/OziY+clwP887aESds+Ukg/IibB3pAT fQPNaA8KPjDtfUDIsacZMnqA9u8dbJJ0s4NbOJoyrECpPoeY15jcQ4co1pN8 DV6U1GR1CYfyfD/F+okXzZ+qV1MHQUwsXOFYvBQMHYfDxyUZ1Z/bjI1bNzuL tNEtud5vsLg0GINsMpCS8hQqcCc4JC7b7QXfFz2YA9SdX+CKEUw49u2HZgZ7 L0tcnoY2rlJXMYID6zCCA+cCAQEwgbgwgawxCzAJBgNVBAYTAkRFMREwDwYD VQQIEwhTYWFybGFuZDEVMBMGA1UEBxMMU2FhcmJydWVja2VuMSQwIgYDVQQK ExtVbml2ZXJzaXRhZXQgZGVzIFNhYXJsYW5kZXMxJzAlBgNVBAMTHkNBIFVu aXZlcnNpdGFldCBkZXMgU2FhcmxhbmRlczEkMCIGCSqGSIb3DQEJARYVY2FA cnoudW5pLXNhYXJsYW5kLmRlAgcbejicoHfVMA0GCWCGSAFlAwQCAQUAoIIC AzAYBgkqhkiG9w0BCQMxCwYJKoZIhvcNAQcBMBwGCSqGSIb3DQEJBTEPFw0x OTA0MjkxNDUyMjZaMC8GCSqGSIb3DQEJBDEiBCAADfbu9WD4W4orJdGYqhLE 9xEqckW6hIcMMEBL88mgCzCByQYJKwYBBAGCNxAEMYG7MIG4MIGsMQswCQYD VQQGEwJERTERMA8GA1UECBMIU2FhcmxhbmQxFTATBgNVBAcTDFNhYXJicnVl Y2tlbjEkMCIGA1UEChMbVW5pdmVyc2l0YWV0IGRlcyBTYWFybGFuZGVzMScw JQYDVQQDEx5DQSBVbml2ZXJzaXRhZXQgZGVzIFNhYXJsYW5kZXMxJDAiBgkq hkiG9w0BCQEWFWNhQHJ6LnVuaS1zYWFybGFuZC5kZQIHG3o4nKB31TCBywYL KoZIhvcNAQkQAgsxgbuggbgwgawxCzAJBgNVBAYTAkRFMREwDwYDVQQIEwhT YWFybGFuZDEVMBMGA1UEBxMMU2FhcmJydWVja2VuMSQwIgYDVQQKExtVbml2 ZXJzaXRhZXQgZGVzIFNhYXJsYW5kZXMxJzAlBgNVBAMTHkNBIFVuaXZlcnNp dGFldCBkZXMgU2FhcmxhbmRlczEkMCIGCSqGSIb3DQEJARYVY2FAcnoudW5p LXNhYXJsYW5kLmRlAgcbejicoHfVMA0GCSqGSIb3DQEBAQUABIIBAFe0YT9b e+CGBCNsuYjbYIXESGPWbsg1guRQzhQBQRlB2rJ0P5j5kwsCKE5oONs7WJVe itNTc/dKFCVKngDyJ8SihKr2CkdraBU5ukgL87u3i9BfYiB47tVgjV+VMHwT Xmjk9rt6cBvd/7RCnaYuvanSfsgWVhouel4OKme6TWwRQ5ZRHBBhryDjLj3e FbzKnWYNLhqX862XYcCCOdVgrdU4WZ/EjBWSn/yGnd5e7GFjtN5BaAqKFOf+ zPIsYy3y9AnST+Md4pnN1mDAXNE8mVn0ENjr5CrUWwvriwfmt83VfphX78rb ijWfnQb/vpljfYX0CGdK249Ooce+wJbrNEwAAAAAAAA= --Apple-Mail=_FCA1AD41-951B-4F23-911C-CAB8836820D8--