From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10015 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.comp.lang.agda Subject: [LICS] LICS 2020 Call for Papers Date: Fri, 11 Oct 2019 11:02:54 +0000 Message-ID: <44F2A424-DEF9-4AD2-9740-7BCF50F9FC31@OX.AC.UK> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="122035"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Microsoft-MacOutlook/f.27.0.171010 To: "las-lics@lists.tu-berlin.de" , "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "ProofTheory.List@gmail.com" , "types-announce@lists.seas.upenn.edu" , "theory-logic@cs.cmu.edu" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" Envelope-to: gcsmll-las-lics@m.gmane.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iJ2Qx-000VgD-2y for gcsmll-las-lics@m.gmane.org; Fri, 11 Oct 2019 23:26:47 +0200 Original-Received: from SPMA-03.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 41EBD6E734_DA0F396B for ; Fri, 11 Oct 2019 21:26:46 +0000 (GMT) Original-Received: from exchange.tu-berlin.de (exchange.tu-berlin.de [130.149.7.70]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (Client CN "exchange.tu-berlin.de", Issuer "DFN-Verein Global Issuing CA" (not verified)) by SPMA-03.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id DACB294DC6_DA0F395F for ; Fri, 11 Oct 2019 21:26:45 +0000 (GMT) Original-Received: from EX-CAS-02.tubit.win.tu-berlin.de (130.149.7.70) by ex-mbx-07.tubit.win.tu-berlin.de (130.149.6.158) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Fri, 11 Oct 2019 23:26:40 +0200 Original-Received: from lists.tu-berlin.de (130.149.4.33) by EX-CAS-02.tubit.win.tu-berlin.de (172.26.35.182) with Microsoft SMTP Server (TLS) id 15.0.1395.4 via Frontend Transport; Fri, 11 Oct 2019 23:26:40 +0200 Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.92.2) with esmtp id 1iJ2Qk-0002Qy-U9; Fri, 11 Oct 2019 23:26:34 +0200 Original-Received: from a1861.mx.srv.dfn.de ([194.95.232.130]) by mali.tubit.tu-berlin.de (exim-4.92.2) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1iIsk5-0001lb-KK; Fri, 11 Oct 2019 13:05:53 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by a1861.mx.srv.dfn.de (Postfix) with ESMTP id 895C5220097 for ; Fri, 11 Oct 2019 13:05:53 +0200 (CEST) X-DFN-Virus-Scanned: Debian amavisd-new at mgw4-han.srv.dfn.de Original-Received: from a1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw4-han.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id ljzb6b4T6-Pv for ; Fri, 11 Oct 2019 13:05:36 +0200 (CEST) Original-Received: from relay16.mail.ox.ac.uk (relay16.mail.ox.ac.uk [163.1.2.166]) by a1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Fri, 11 Oct 2019 13:05:32 +0200 (CEST) Original-Received: from hub01.nexus.ox.ac.uk ([163.1.154.218] helo=HUB01.ad.oak.ox.ac.uk) by relay16.mail.ox.ac.uk with esmtps (TLS1.0:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1iIshQ-0007Xe-rj; Fri, 11 Oct 2019 12:03:08 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.54) by smtp.nexus.ox.ac.uk (163.1.154.218) with Microsoft SMTP Server (TLS) id 14.3.468.0; Fri, 11 Oct 2019 12:02:59 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ILTj4+n6cwPJ4V4wLjCcc6PLlwE/pKtE3OM/BHcfLepihfK0JJU9CHHPPfd/89Lj2ZrP2hcaTeYgk0m8vNqVKpIp34mw035ebaMLX4PX9/VwXFFhcIWC4GjBLSPf5PQGsPqkD7foXngNczVuv+0ymAOtDOpuqx7+4SoXcJhjY34/HTZxphVMur/qAEzB0n0pYwI4M4j4LwyZ1s/UAaVM9YjRXaYXPwnAHrDMIUeRKNtO+XMLJtHwgXM7gQjvmwWFObU5+ZxKFvmSJSIpU4Baf6NwhSNn70qG7N0zMO1ZnyBthWH2L+khQ2NHHggygT/84BIO1kbJvU1kEzqyuAhAlg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=nSDE0c/+XpUfxIRxOT61OiPQPhEeul9lu6f/8nymNSc=; b=fcsfOJm5cyNKFOKwjfzPPXEy0oWb6j10Y7jYm8/WsxggWXU+6ds7PD6Cie2CRHEDXU3E/j09TVBve3DQU8WleNWpXzEab6BnxoYPxXq9d5fucrxfkOn0/WDp4x/UWg9wBuIVBVkJ6mFdG3iW6JIo/3m+1PVdALMBl1g8etO/G3/x8cMlVfGkLV+D1KrfmjUZh8okEJg9YiEUueERY76nibm9d03D06sT58GI4Y6NsX+C+OSGaC1WU1/SU6oGUOOde71lGG9gpfurAhs+bvfcRm7O/bfZCFQwEk43QROdnpQrYnHDNqOdSXFrjZveFR1hq4Rt2xwP96LWpxUgGwrrWg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM (20.176.132.21) by LNXP265MB1242.GBRP265.PROD.OUTLOOK.COM (20.176.134.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2327.24; Fri, 11 Oct 2019 11:02:56 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::78fe:636d:f8a4:49c8]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::78fe:636d:f8a4:49c8%3]) with mapi id 15.20.2347.021; Fri, 11 Oct 2019 11:02:55 +0000 Thread-Topic: LICS 2020 Call for Papers Thread-Index: AQHVgCNuDgXyj+pwj0qGIHN0yFDzsw== Accept-Language: en-US Content-Language: en-GB authentication-results: spf=none (sender IP is ) smtp.mailfrom=sam.staton@cs.ox.ac.uk; x-originating-ip: [2a02:c7d:a351:a600:7df7:5487:89fb:a6fb] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: f1bca11b-ab3c-4a67-efec-08d74e3a916a x-ms-traffictypediagnostic: LNXP265MB1242: x-ms-exchange-purlcount: 3 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 0187F3EA14 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(366004)(396003)(346002)(376002)(136003)(199004)(189003)(81166006)(81156014)(86362001)(110136005)(102836004)(6506007)(99286004)(786003)(8676002)(316002)(5660300002)(8936002)(305945005)(58126008)(7736002)(256004)(14444005)(966005)(25786009)(2201001)(71190400001)(71200400001)(6116002)(14454004)(2501003)(44832011)(36756003)(46003)(476003)(33656002)(7416002)(486006)(6436002)(6486002)(6512007)(6306002)(9686003)(2171002)(2906002)(64756008)(66556008)(66476007)(186003)(66946007)(66446008)(76116006)(478600001)(225293001)(921003)(1121003); DIR:OUT; SFP:1102; SCL:1; SRVR:LNXP265MB1242; H:LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; received-spf: None (protection.outlook.com: cs.ox.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: Ydv09boCB3ipKXGWdXTVqCUF3i6MhHOJcQxaOiGFZsHAo0wUAqehR6sODdKqgUgF+NcgU/ULy9yjX5rCJq3ZemDthdXts6vySCnPqGwsjYlW+Ir/5tknmosjGmkuoZFDSZ6Ehi1Pjk8EpYpnENm1IhKX0gAyNMIhjr6jFksZ/RHAOMydXEKj+DvREoROQFz3+J+KmmL+a5KaiG0ajxwY4mN3p9fkjd7cGS2tpcZlUjsD415Jl8WageTiOcwLDHy5HXnNWRjkGC8Y5nxgC9zPTDdr6pxt3D8h4+ufCPtZhcgUAxLFnF8l1JT8cuLGru3kJx6XqlFVKWbY1aldvvODo9utPDfcSKFajpx865t+hXVrZfv05CPdWNxcW0FYCeDLE8eSl7rgoPVZ/hc/jbksbrYV+KF06/pQHUnz1xwp73tkUnXqODUQ4B1jtkSmArAea/EFhAWg4K06xF29Y+0ONA== x-ms-exchange-transport-forked: True Content-ID: <32D9CCE3C6B87D4F85CF8C8623EF3F95@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-Network-Message-Id: f1bca11b-ab3c-4a67-efec-08d74e3a916a X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Oct 2019 11:02:55.0009 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: gqi18WvNjfg5X3oM34xiPGvxUgUmbKHZP5lbalGPlp4RKHgUUPKPuQkqFnGnHwAJ6Wg2oBJspINw/IS3YVvj/w== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1242 X-Mailman-Approved-At: Fri, 11 Oct 2019 23:26:34 +0200 X-BeenThere: las-lics@lists.tu-berlin.de X-Mailman-Version: 2.1.12 Precedence: list List-Id: LICS Announcement and Newsletter Distribution List List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Original-Sender: Errors-To: las-lics-bounces+gcsmll-las-lics=m.gmane.org@lists.tu-berlin.de X-PMWin-Version: 4.0.1, Antivirus-Engine: 3.74.1, Antivirus-Data: 5.68 X-PureMessage: [Scanned] X-SASI-RCODE: 200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lists.tu-berlin.de; h=from:to:date:message-id:content-id:mime-version:subject:list-id:list-unsubscribe:list-post:list-help:list-subscribe:content-type:content-transfer-encoding:sender; s=dkim-tub; bh=hUazVIgG5BPFLLdqQaMjFmtPqo929VgVAG4ZeeKb26o=; b=NLUgWqGJOL4Zh0/t00EX7+QfaBEcAgt9zXh3EhAxGYBjEqvyE+IKUtZoWU+xdj8zDfD3PpCDCelw2qcBvNVISEP/RuoXode2zGp2lvmic+TXg+YqKJAZJTVcjgqOMO935U5RkKpiDL/59L2URLNXycHGElTj3sE5gMLbhAWcAgo= Xref: news.gmane.org gmane.comp.science.mathematics.logic.lics-newsletter:89 gmane.science.mathematics.categories:10015 gmane.comp.science.types.announce:8669 gmane.comp.lang.agda:11299 Archived-At: Q0FMTCBGT1IgUEFQRVJTDQoNClRoaXJ0eS1GaWZ0aCBBbm51YWwgQUNNL0lFRUUgU3ltcG9zaXVt IG9uDQpMT0dJQyBJTiBDT01QVVRFUiBTQ0lFTkNFIChMSUNTKQ0KDQo44oCTMTIgSnVseSAyMDIw LCBCZWlqaW5nDQoNCmh0dHBzOi8vbGljcy5zaWdsb2cub3JnL2xpY3MyMC8NCg0KTk9USUNFOiBM SUNTIDIwMjAgd2lsbCB1c2UgYSBkb3VibGUtYmxpbmQgcmV2aWV3aW5nIHByb2Nlc3MuIFNlZSBi ZWxvdyBmb3IgZGV0YWlscy4NCg0KU0NPUEUNCg0KTElDUyAyMDIwIHdpbGwgYmUgaG9zdGVkIGlu IEJlaWppbmcgaW4gdGhlIHBlcmlvZCA44oCTMTIgSnVseSAyMDIwLCBpbiBjby1sb2NhdGlvbiB3 aXRoIElDQUxQIDIwMjAuDQoNClRoZSBMSUNTIFN5bXBvc2l1bSBpcyBhbiBhbm51YWwgaW50ZXJu YXRpb25hbCBmb3J1bSBvbiB0aGVvcmV0aWNhbCBhbmQgcHJhY3RpY2FsIHRvcGljcyBpbiBjb21w dXRlciBzY2llbmNlIHRoYXQgcmVsYXRlIHRvIGxvZ2ljLCBicm9hZGx5IGNvbnN0cnVlZC4gV2Ug aW52aXRlIHN1Ym1pc3Npb25zIG9uIHRvcGljcyB0aGF0IGZpdCB1bmRlciB0aGF0IHJ1YnJpYy4N Cg0KU3VnZ2VzdGVkLCBidXQgbm90IGV4Y2x1c2l2ZSwgdG9waWNzIG9mIGludGVyZXN0IGluY2x1 ZGU6IGF1dG9tYXRhIHRoZW9yeSwgYXV0b21hdGVkIGRlZHVjdGlvbiwgY2F0ZWdvcmljYWwgbW9k ZWxzIGFuZCBsb2dpY3MsIGNvbmN1cnJlbmN5IGFuZCBkaXN0cmlidXRlZCBjb21wdXRhdGlvbiwg Y29uc3RyYWludCBwcm9ncmFtbWluZywgY29uc3RydWN0aXZlIG1hdGhlbWF0aWNzLCBkYXRhYmFz ZSB0aGVvcnksIGRlY2lzaW9uIHByb2NlZHVyZXMsIGRlc2NyaXB0aW9uIGxvZ2ljcywgZG9tYWlu IHRoZW9yeSwgZmluaXRlIG1vZGVsIHRoZW9yeSwgZm9ybWFsIGFzcGVjdHMgb2YgcHJvZ3JhbSBh bmFseXNpcywgZm9ybWFsIG1ldGhvZHMsIGZvdW5kYXRpb25zIG9mIGNvbXB1dGFiaWxpdHksIGdh bWVzIGFuZCBsb2dpYywgaGlnaGVyLW9yZGVyIGxvZ2ljLCBsYW1iZGEgYW5kIGNvbWJpbmF0b3J5 IGNhbGN1bGksIGxpbmVhciBsb2dpYywgbG9naWMgaW4gYXJ0aWZpY2lhbCBpbnRlbGxpZ2VuY2Us IGxvZ2ljIHByb2dyYW1taW5nLCBsb2dpY2FsIGFzcGVjdHMgb2YgYmlvaW5mb3JtYXRpY3MsIGxv Z2ljYWwgYXNwZWN0cyBvZiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHksIGxvZ2ljYWwgYXNwZWN0 cyBvZiBxdWFudHVtIGNvbXB1dGF0aW9uLCBsb2dpY2FsIGZyYW1ld29ya3MsIGxvZ2ljcyBvZiBw cm9ncmFtcywgbW9kYWwgYW5kIHRlbXBvcmFsIGxvZ2ljcywgbW9kZWwgY2hlY2tpbmcsIHByb2Jh YmlsaXN0aWMgc3lzdGVtcywgcHJvY2VzcyBjYWxjdWxpLCBwcm9ncmFtbWluZyBsYW5ndWFnZSBz ZW1hbnRpY3MsIHByb29mIHRoZW9yeSwgcmVhbC10aW1lIHN5c3RlbXMsIHJlYXNvbmluZyBhYm91 dCBzZWN1cml0eSBhbmQgcHJpdmFjeSwgcmV3cml0aW5nLCB0eXBlIHN5c3RlbXMgYW5kIHR5cGUg dGhlb3J5LCBhbmQgdmVyaWZpY2F0aW9uLg0KDQoNCklNUE9SVEFOVCBEQVRFUw0KDQpBdXRob3Jz IGFyZSByZXF1aXJlZCB0byBzdWJtaXQgYSBwYXBlciB0aXRsZSBhbmQgYSBzaG9ydCBhYnN0cmFj dCBvZiBhYm91dCAxMDAgd29yZHMgaW4gYWR2YW5jZSBvZiBzdWJtaXR0aW5nIHRoZSBleHRlbmRl ZCBhYnN0cmFjdCBvZiB0aGUgcGFwZXIuIFRoZSBleGFjdCBkZWFkbGluZSB0aW1lIG9uIHRoZXNl IGRhdGVzIGlzIGdpdmVuIGJ5IGFueXdoZXJlIG9uIGVhcnRoIChBb0UpLg0KDQpUaXRsZXMgYW5k IFNob3J0IEFic3RyYWN0cyBEdWU6IDYgSmFudWFyeSAyMDIwDQpGdWxsIFBhcGVycyBEdWU6IAkx MCBKYW51YXJ5IDIwMjANCkF1dGhvciBGZWVkYmFjay9SZWJ1dHRhbCBQZXJpb2Q6IDE24oCTMjAg TWFyY2ggMjAyMA0KQXV0aG9yIE5vdGlmaWNhdGlvbjogMTAgQXByaWwgMjAyMA0KDQpEZWFkbGlu ZXMgYXJlIGZpcm07IGxhdGUgc3VibWlzc2lvbnMgd2lsbCBub3QgYmUgY29uc2lkZXJlZC4gQWxs DQpzdWJtaXNzaW9ucyB3aWxsIGJlIGVsZWN0cm9uaWMgdmlhDQpodHRwczovL3d3dy5lYXN5Y2hh aXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWxpY3MyMDIwLg0KDQoNClNVQk1JU1NJT04gSU5TVFJV Q1RJT05TDQoNCkV2ZXJ5IGZ1bGwgcGFwZXIgbXVzdCBiZSBzdWJtaXR0ZWQgaW4gdGhlIEFDTSBT SUdQTEFOIFByb2NlZWRpbmdzIDItY29sdW1uIDEwcHQgZm9ybWF0IGFuZCBtYXkgYmUgYXQgbW9z dCAxMiBwYWdlcywgZXhjbHVkaW5nIHJlZmVyZW5jZXMuIFRoZSBMYVRlWCBzdHlsZSBmaWxlcyBh cmUgYXZhaWxhYmxlIGZyb20gaHR0cDovL3d3dy5zaWdwbGFuLm9yZy9SZXNvdXJjZXMvQXV0aG9y Ly4NCg0KVGhlIGV4dGVuZGVkIGFic3RyYWN0IG11c3QgYmUgaW4gRW5nbGlzaCBhbmQgcHJvdmlk ZSBzdWZmaWNpZW50IGRldGFpbCB0byBhbGxvdyB0aGUgcHJvZ3JhbSBjb21taXR0ZWUgdG8gYXNz ZXNzIHRoZSBtZXJpdHMgb2YgdGhlIHBhcGVyLiBJdCBzaG91bGQgYmVnaW4gd2l0aCBhIHN1Y2Np bmN0IHN0YXRlbWVudCBvZiB0aGUgaXNzdWVzLCBhIHN1bW1hcnkgb2YgdGhlIG1haW4gcmVzdWx0 cywgYW5kIGEgYnJpZWYgZXhwbGFuYXRpb24gb2YgdGhlaXIgc2lnbmlmaWNhbmNlIGFuZCByZWxl dmFuY2UgdG8gdGhlIGNvbmZlcmVuY2UgYW5kIHRvIGNvbXB1dGVyIHNjaWVuY2UsIGFsbCBwaHJh c2VkIGZvciB0aGUgbm9uLXNwZWNpYWxpc3QuIFRlY2huaWNhbCBkZXZlbG9wbWVudCBkaXJlY3Rl ZCB0byB0aGUgc3BlY2lhbGlzdCBzaG91bGQgZm9sbG93LiBSZWZlcmVuY2VzIGFuZCBjb21wYXJp c29ucyB3aXRoIHJlbGF0ZWQgd29yayBtdXN0IGJlIGluY2x1ZGVkLiAoSWYgbmVjZXNzYXJ5LCBk ZXRhaWxlZCBwcm9vZnMgb2YgdGVjaG5pY2FsIHJlc3VsdHMgbWF5IGJlIGluY2x1ZGVkIGluIGEg Y2xlYXJseS1sYWJlbGVkIGFwcGVuZGl4LCB0byBiZSBjb25zdWx0ZWQgYXQgdGhlIGRpc2NyZXRp b24gb2YgcHJvZ3JhbSBjb21taXR0ZWUgbWVtYmVycy4pIFN1Ym1pc3Npb25zIG5vdCBjb25mb3Jt aW5nIHRvIHRoZSBhYm92ZSByZXF1aXJlbWVudHMgd2lsbCBiZSByZWplY3RlZCB3aXRob3V0IGZ1 cnRoZXIgY29uc2lkZXJhdGlvbi4gUGFwZXIgc2VsZWN0aW9uIHdpbGwgYmUgbWVyaXQtYmFzZWQs IHdpdGggbm8gYSBwcmlvcmkgbGltaXQgb24gdGhlIG51bWJlciBvZiBhY2NlcHRlZCBwYXBlcnMu IFBhcGVycyBhdXRob3JlZCBvciBjby1hdXRob3JlZCBieSBtZW1iZXJzIG9mIHRoZSBwcm9ncmFt IGNvbW1pdHRlZSBhcmUgbm90IGFsbG93ZWQuDQoNClJlc3VsdHMgbXVzdCBiZSB1bnB1Ymxpc2hl ZCBhbmQgbm90IHN1Ym1pdHRlZCBmb3IgcHVibGljYXRpb24gZWxzZXdoZXJlLCBpbmNsdWRpbmcg dGhlIHByb2NlZWRpbmdzIG9mIG90aGVyIHN5bXBvc2lhIG9yIHdvcmtzaG9wcy4gVGhlIHByb2dy YW0gY2hhaXIgbXVzdCBiZSBpbmZvcm1lZCwgaW4gYWR2YW5jZSBvZiBzdWJtaXNzaW9uLCBvZiBh bnkgY2xvc2VseSByZWxhdGVkIHdvcmsgc3VibWl0dGVkIG9yIGFib3V0IHRvIGJlIHN1Ym1pdHRl ZCB0byBhIGNvbmZlcmVuY2Ugb3Igam91cm5hbC4gQXV0aG9ycyBvZiBhY2NlcHRlZCBwYXBlcnMg YXJlIGV4cGVjdGVkIHRvIHNpZ24gY29weXJpZ2h0IHJlbGVhc2UgZm9ybXMuIE9uZSBhdXRob3Ig b2YgZWFjaCBhY2NlcHRlZCBwYXBlciBpcyBleHBlY3RlZCB0byBwcmVzZW50IGl0IGF0IHRoZSBj b25mZXJlbmNlLg0KDQpMSUNTIDIwMjAgd2lsbCB1c2UgYSBsaWdodHdlaWdodCBkb3VibGUtYmxp bmQgcmV2aWV3aW5nIHByb2Nlc3MuIEZvbGxvd2luZyB0aGlzIHByb2Nlc3MgbWVhbnMgdGhhdCBy ZXZpZXdlcnMgd2lsbCBub3Qgc2VlIHRoZSBhdXRob3JzJyBuYW1lcyBvciBhZmZpbGlhdGlvbnMg YXMgdGhleSBpbml0aWFsbHkgcmV2aWV3IGEgcGFwZXIuIFRoZSBhdXRob3JzJyBuYW1lcyB3aWxs IHRoZW4gYmUgcmV2ZWFsZWQgdG8gdGhlIHJldmlld2VycyBvbmx5IG9uY2UgdGhlaXIgcmV2aWV3 cyBoYXZlIGJlZW4gc3VibWl0dGVkLg0KDQpUbyBmYWNpbGl0YXRlIHRoaXMgcHJvY2Vzcywgc3Vi bWl0dGVkIHBhcGVycyBtdXN0IGFkaGVyZSB0byB0aGUgZm9sbG93aW5nOg0KDQogICAgQXV0aG9y IG5hbWVzIGFuZCBpbnN0aXR1dGlvbnMgbXVzdCBiZSBvbWl0dGVkIGFuZA0KICAgIFJlZmVyZW5j ZXMgdG8gdGhlIGF1dGhvcnMnIG93biByZWxhdGVkIHdvcmsgc2hvdWxkIGJlIGluIHRoZSB0aGly ZCBwZXJzb24gKGUuZy4sIG5vdCAiV2UgYnVpbGQgb24gb3VyIHByZXZpb3VzIHdvcmsgLi4uIiBi dXQgcmF0aGVyICJXZSBidWlsZCBvbiB0aGUgd29yayBvZiAuLi4iKS4NCg0KVGhlIHB1cnBvc2Ug b2YgdGhpcyBwcm9jZXNzIGlzIHRvIGhlbHAgdGhlIHJldmlld2VycyBjb21lIHRvIGFuIGluaXRp YWwganVkZ21lbnQgYWJvdXQgdGhlIHBhcGVyIHdpdGhvdXQgYmlhcywgbm90IHRvIG1ha2UgaXQg aW1wb3NzaWJsZSBmb3IgdGhlbSB0byBkaXNjb3ZlciB0aGUgYXV0aG9ycyBpZiB0aGV5IHdlcmUg dG8gdHJ5LiBOb3RoaW5nIHNob3VsZCBiZSBkb25lIGluIHRoZSBuYW1lIG9mIGFub255bWl0eSB0 aGF0IHdlYWtlbnMgdGhlIHN1Ym1pc3Npb24sIG1ha2VzIHRoZSBqb2Igb2YgcmV2aWV3aW5nIHRo ZSBwYXBlciBtb3JlIGRpZmZpY3VsdCwgb3IgaW50ZXJmZXJlcyB3aXRoIHRoZSBwcm9jZXNzIG9m IGRpc3NlbWluYXRpbmcgbmV3IGlkZWFzLiBGb3IgZXhhbXBsZSwgaW1wb3J0YW50IGJhY2tncm91 bmQgcmVmZXJlbmNlcyBzaG91bGQgbm90IGJlIG9taXR0ZWQgb3IgYW5vbnltaXplZCwgZXZlbiBp ZiB0aGV5IGFyZSB3cml0dGVuIGJ5IHRoZSBzYW1lIGF1dGhvcnMgYW5kIHNoYXJlIGNvbW1vbiBp ZGVhcywgdGVjaG5pcXVlcywgb3IgaW5mcmFzdHJ1Y3R1cmUuIEF1dGhvcnMgc2hvdWxkIGZlZWwg ZnJlZSB0byBkaXNzZW1pbmF0ZSB0aGVpciBpZGVhcyBvciBkcmFmdCB2ZXJzaW9ucyBvZiB0aGVp ciBwYXBlciBhcyB0aGV5IG5vcm1hbGx5IHdvdWxkLiBGb3IgaW5zdGFuY2UsIGF1dGhvcnMgbWF5 IHBvc3QgZHJhZnRzIG9mIHRoZWlyIHBhcGVycyBvbiB0aGUgd2ViIG9yIGdpdmUgdGFsa3Mgb24g dGhlaXIgcmVzZWFyY2ggaWRlYXMuDQoNCg0KS0xFRU5FIEFXQVJEIEZPUiBCRVNUIFNUVURFTlQg UEFQRVINCg0KQW4gYXdhcmQgaW4gaG9ub3VyIG9mIHRoZSBsYXRlIFN0ZXBoZW4gQy4gS2xlZW5l IHdpbGwgYmUgZ2l2ZW4gZm9yIHRoZSBiZXN0IHN0dWRlbnQgcGFwZXIocyksIGFzIGp1ZGdlZCBi eSB0aGUgcHJvZ3JhbSBjb21taXR0ZWUuDQoNCg0KU1BFQ0lBTCBJU1NVRVMNCg0KRnVsbCB2ZXJz aW9ucyBvZiB1cCB0byB0aHJlZSBhY2NlcHRlZCBwYXBlcnMsIHRvIGJlIHNlbGVjdGVkIGJ5IHRo ZSBwcm9ncmFtIGNvbW1pdHRlZSwgd2lsbCBiZSBpbnZpdGVkIGZvciBzdWJtaXNzaW9uIHRvIHRo ZSBKb3VybmFsIG9mIHRoZSBBQ00uIEFkZGl0aW9uYWwgc2VsZWN0ZWQgcGFwZXJzIHdpbGwgYmUg aW52aXRlZCB0byBhIHNwZWNpYWwgaXNzdWUgb2YgTG9naWNhbCBNZXRob2RzIGluIENvbXB1dGVy IFNjaWVuY2UuDQoNCg0KDQoNCg0KDQpZb3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIGxpY3MgbWFp bGluZyBsaXN0IGJlY2F1c2UgeW91IGhhdmUgc2lnbmVkIHVwIGZvciBpdCBpbiB0aGUgcGFzdC4K ClN1Ym1pc3Npb25zIHRvIHRoZSBuZXdzbGV0dGVyOgpTZW5kIGFuIGVtYWlsIHRvIGxhcy1saWNz QGxpc3RzLnR1LWJlcmxpbi5kZS4KClVuc3Vic2NyaWJlOgpUbyB1bnN1YnNjcmliZSwgcGxlYXNl IHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0cy50dS1iZXJsaW4uZGUgd2l0 aAp0aGUga2V5d29yZCAndW5zdWJzY3JpYmUnIGluIHRoZSBtZXNzYWdlIGJvZHkgKHdpdGhvdXQg JykuCgpTdWJzY3JpYmU6ClRvIHN1YnNjcmliZSwgIHBsZWFzZSBzZW5kIGFuIGVtYWlsIHRvIGxh cy1saWNzLXJlcXVlc3RAbGlzdHMudHUtYmVybGluLmRlIHdpdGgKdGhlIGtleXdvcmQgJ3N1YnNj cmliZScgaW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4=