From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10303 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.science.mathematics.discrete Subject: [LICS] LICS 2021 Call for Papers Date: Mon, 19 Oct 2020 20:14:14 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18669"; mail-complaints-to="usenet@ciao.gmane.io" To: "las-lics@lists.tu-berlin.de" , "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "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" , "dbworld@cs.wisc.edu" , "DMANET@zpr.uni-koeln.de" , "fom@cs.nyu.edu" , "homotopytypetheory@googlegroups.com" Envelope-to: gcsmll-las-lics@m.gmane-mx.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kUbao-0004jG-2t for gcsmll-las-lics@m.gmane-mx.org; Mon, 19 Oct 2020 22:17:18 +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 BF6D77421C_F8DF44CB for ; Mon, 19 Oct 2020 20:17:16 +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-GCM-SHA384 (256/256 bits)) (Client CN "exchange.tu-berlin.de", Issuer "DFN-Verein Global Issuing CA" (verified OK)) by SPMA-03.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id DB709951A3_F8DF447F for ; Mon, 19 Oct 2020 20:17:11 +0000 (GMT) Original-Received: from ex-04.tubit.win.tu-berlin.de (172.26.35.187) by ex-03.tubit.win.tu-berlin.de (172.26.35.186) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.529.5; Mon, 19 Oct 2020 22:17:09 +0200 Original-Received: from lists.tu-berlin.de (130.149.4.33) by ex-04.tubit.win.tu-berlin.de (172.26.26.144) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.529.5 via Frontend Transport; Mon, 19 Oct 2020 22:17:09 +0200 Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtp id 1kUbae-00087P-AD; Mon, 19 Oct 2020 22:17:08 +0200 Original-Received: from a1861.mx.srv.dfn.de ([194.95.232.130]) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1kUbYN-00085b-Sf; Mon, 19 Oct 2020 22:14:47 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by a1861.mx.srv.dfn.de (Postfix) with ESMTP id C7663260067 for ; Mon, 19 Oct 2020 22:14:47 +0200 (CEST) X-DFN-Virus-Scanned: Debian amavisd-new at mgw5-han.srv.dfn.de Original-Received: from a1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw5-han.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id T6hhE9UgD_vN for ; Mon, 19 Oct 2020 22:14:46 +0200 (CEST) Original-Received: from relay20.mail.ox.ac.uk (relay20.mail.ox.ac.uk [163.1.2.170]) by a1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Mon, 19 Oct 2020 22:14:43 +0200 (CEST) Original-Received: from hub01.nexus.ox.ac.uk ([163.1.154.218] helo=Hub01.ad.oak.ox.ac.uk) by relay20.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1kUbXw-0001mT-DC; Mon, 19 Oct 2020 21:14:20 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.58) by smtp.nexus.ox.ac.uk (163.1.154.218) with Microsoft SMTP Server (TLS) id 14.3.468.0; Mon, 19 Oct 2020 21:14:14 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=WaAySBpsckYNupP7ErRQgwg4Ijbjpo2wjdH2h2kg5/uBiK9+1jJMMUSFkDOSR8UjADEGWyn7GGbYT1GGL8a4wM0BXBYjw7mUp7Ggf5sH4xiIeOtqqoDImML9Xdl6Z0kpcAWK1WXrJoiyLvFeOCifqXb+yWeg2nxq31B7xr0eerSIsQSJeDkSFPH/dKHusBVg1QvWiZfrjbrQUp5+gFy1ViibCHWcp/hSibLlVDOvqlsdGVRl4Ti9PZCqb4fOJin1bj/3iaT31ALirXW78mZeCgEdI3byob+ASD3oTGrHrseFgRKgfkfwGft/l1jDBccYH2HtUWpMP4ep7W4AliQOZg== 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=7aSnArjWtwCvwU4ApcjAAvNlw8s1K2eNXCh7gppK92A=; b=OnzbsgNMtqXhVSI125K/23XrwRF2YWLaoGixeli7iyz238g92YyM93B+JPH0fNXGr1qRRVhuE8m2dBwI60SUToglIkQrlI/fLMaloYI4AcgZl5PDtNOJXzyksZHZU0Ymml+ypyDPWFomwYuV/MNJSUFf/1Z4G+CxRLTVk6lnMyk+DzbrKf+/rXuQqc29+Y2LiaZYdjWtnXaa3un7XsoyLc5RgWhPoty7sNOpShl+crTe0DY4Ok3Sd630cx1XWwnr/ClT45E73nhnN0iHSW/PWDFjVDvW04GC1M13JGLpJFmnAfHRnaREILb4EXJpdRZlU9OqzeAazsryoorMHg5ndw== 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 (2603:10a6:600:7e::21) by LNXP265MB0987.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:84::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3477.22; Mon, 19 Oct 2020 20:14:14 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::d1:eaf0:275:dddb]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::d1:eaf0:275:dddb%5]) with mapi id 15.20.3477.028; Mon, 19 Oct 2020 20:14:14 +0000 Thread-Topic: LICS 2021 Call for Papers Thread-Index: AQHWplRqwBz5X+tKhEmyoG0rP/NWsA== Accept-Language: en-US Content-Language: en-US x-mailer: Apple Mail (2.3445.104.17) authentication-results: lists.tu-berlin.de; dkim=none (message not signed) header.d=none;lists.tu-berlin.de; dmarc=none action=none header.from=cs.ox.ac.uk; x-originating-ip: [2a02:c7f:6c52:4c00:90b:85b3:783:551a] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 9fe12691-0869-457a-ace3-08d8746b8c98 x-ms-traffictypediagnostic: LNXP265MB0987: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: cGeiB5xkD0/BamwVvENRIWt+DgPZZeSLQwcu4rAF/TswWdUuzhkVf2UWPuIEbrfknRCq218Lqb/KZhAtV5p8kCX5UhCKbn4Ee84FPlDFrqxCSOcYdcZhS36/StSoRdQ4Xfj5JRo5wG8H4V1m4W1LzayQl0A01dsKmPbt1FBVxmHRN+o8zjn5MjDsNeiKEMhvm66vDkNFlCsr23xSrLXkVClVopoaadvsny4gWf7a8y5MbgzmscmvwXsXzeanmHXnpFrJ1v4coC0OR4PwiimMRhBvPq7R9YJvMtGCiPNuuN+mVtNR/AqXPPEMlVkhtetnIfGtxJFS8HK6n48sW3YZFTUk14va8CAKHnaf+bDhDGmfzyiPknmS7icwjMndBckMmzXLUXgPghycDqdh0ji7gHbTqRp2sClrS2/3Ncbk3fAUplW99hXdR6pHyyAt2f4au00XqeT7pKntvz5H176AJQ== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(366004)(376002)(136003)(346002)(39860400002)(396003)(6486002)(786003)(316002)(110136005)(7416002)(33656002)(71200400001)(6512007)(2906002)(5660300002)(478600001)(76116006)(66946007)(64756008)(66446008)(83380400001)(44832011)(66556008)(66476007)(2616005)(8676002)(8936002)(186003)(966005)(6506007)(86362001)(225293001)(921003); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: zPp/aF7U9fp08vU7f0sTxwrOexkFgHfjIJm4lNf4QAfTmE06ahg3Gh53PECmxXXAUwEaYr8P3Tl8Gtq4hWE0/WtlX2ks8ue19T3sTGhRew6R0StFDSxq7GSvu/37v+1ELujcm0ZV7kkvzqlZvsZNOUCJBWDAnKVOPb//byAlxAMEGc4lznewBu948iveqVeIZqteRXaPvH4YCgYj262Vh8jkYnjT4X2El2MrEiWvQUqeXD5d/p+W9SG4mJ9RfWvmvKTQsORIclz6NtR/lI8LExlb1+nhCm3qGc+zA5tBbxEE9Rj+ssoULm+8x7OoWrsRmpkt4unaA2M+njfmOp7BYzfHMz7pD6DJIFinfFrxZIupKBKKFROlokD+jwQdQXUPeZM6I984vDA0fLZp5JfTLhxqHjpK8e0100BgCnyGClrvlPSp/FMyeL9qeDwQYvnMpxBLMWH+ELC2ttbh1bzYtbOsUx6F09ljqdiP+dnwQ8wCxyXXqpceOj1mMVrHKh6BOVjnxzd6xo9bPSjMmmmBMSOvh1Xw1XJR+33xNnEQxGTZ+C0AIbIGr5PgzJm6FyjctzGfAQlhTDT3EeoCY7ohCfvlL7rnhdYIqgR4GN+juN4mvSz+1yYo+YGZweBT40E0QIINMLMNpiOJKxi6p94Dl2dhXJxOwaCju4Vgj04HQnk/fRBCJa6ydnOl8xYl8z1QAB52k4VC3kuz1O+lrw11kA== x-ms-exchange-transport-forked: True Content-ID: <85BF484CE646764D9E7FD8F885081F93@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 9fe12691-0869-457a-ace3-08d8746b8c98 X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Oct 2020 20:14:14.1174 (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: Ex/iNZ4lwFpPu/8tkLmYFkUwKibFT/lZTfrBbS8MCA2IlcbwzDHKPDpQtNccbNjezmtIp0jfg+JdN8n8IceJqA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0987 X-Mailman-Approved-At: Mon, 19 Oct 2020 22:17:06 +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-mx.org@lists.tu-berlin.de Received-SPF: None (ex-03.tubit.win.tu-berlin.de: las-lics-bounces@lists.tu-berlin.de does not designate permitted sender hosts) 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=w7T+UZTM/WO7zB4mbITHW3hbwqSMA4aQontWe6mfFlk=; b=TMq4v9d7Uvm+0+0BHwOxC6N8BxxZXaMTFX+M/oMKXDJt1X0ZmD8rWgRFLJCyJsXNboBAfUF1xnnoiUL+opx7N/NCzGY8ZURlNtxO1x17G5RahnzhNkkz2sCj1E6aNGfGo3+GEDkr+/X1u48Y54mAM9pu0BQWI67pfR+kfTtMDdY= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:101 gmane.science.mathematics.categories:10303 gmane.comp.lang.agda:12305 gmane.science.mathematics.discrete:14144 Archived-At: Q0FMTCBGT1IgUEFQRVJTDQoNClRoaXJ0eS1TaXh0aCBBbm51YWwgQUNNL0lFRUUgU3ltcG9zaXVt IG9uDQpMT0dJQyBJTiBDT01QVVRFUiBTQ0lFTkNFIChMSUNTKQ0KDQpKdW5lIC8gSnVseSAyMDIx IChSb21lKQ0KQ28tbG9jYXRlZCB3aXRoIElUUCAyMDIxIGFuZCBJQ1RDUyAyMDIxDQpodHRwOi8v ZWFzeWNvbmZlcmVuY2VzLmV1L2xpY3MyMDIxL2NmcC8NCg0KDQpTQ09QRQ0KDQpUaGUgTElDUyBT eW1wb3NpdW0gaXMgYW4gYW5udWFsIGludGVybmF0aW9uYWwgZm9ydW0gb24gdGhlb3JldGljYWwg YW5kIHByYWN0aWNhbCB0b3BpY3MgaW4gY29tcHV0ZXIgc2NpZW5jZSB0aGF0IHJlbGF0ZSB0byBs b2dpYywgYnJvYWRseSBjb25zdHJ1ZWQuIFdlIGludml0ZSBzdWJtaXNzaW9ucyBvbiB0b3BpY3Mg dGhhdCBmaXQgdW5kZXIgdGhhdCBydWJyaWMuDQoNClN1Z2dlc3RlZCwgYnV0IG5vdCBleGNsdXNp dmUsIHRvcGljcyBvZiBpbnRlcmVzdCBpbmNsdWRlOiBhdXRvbWF0YSB0aGVvcnksIGF1dG9tYXRl ZCBkZWR1Y3Rpb24sIGNhdGVnb3JpY2FsIG1vZGVscyBhbmQgbG9naWNzLCBjb25jdXJyZW5jeSBh bmQgZGlzdHJpYnV0ZWQgY29tcHV0YXRpb24sIGNvbnN0cmFpbnQgcHJvZ3JhbW1pbmcsIGNvbnN0 cnVjdGl2ZSBtYXRoZW1hdGljcywgZGF0YWJhc2UgdGhlb3J5LCBkZWNpc2lvbiBwcm9jZWR1cmVz LCBkZXNjcmlwdGlvbiBsb2dpY3MsIGRvbWFpbiB0aGVvcnksIGZpbml0ZSBtb2RlbCB0aGVvcnks IGZvcm1hbCBhc3BlY3RzIG9mIHByb2dyYW0gYW5hbHlzaXMsIGZvcm1hbCBtZXRob2RzLCBmb3Vu ZGF0aW9ucyBvZiBjb21wdXRhYmlsaXR5LCBnYW1lcyBhbmQgbG9naWMsIGhpZ2hlci1vcmRlciBs b2dpYywga25vd2xlZGdlIHJlcHJlc2VudGF0aW9uIGFuZCByZWFzb25pbmcsIGxhbWJkYSBhbmQg Y29tYmluYXRvcnkgY2FsY3VsaSwgbGluZWFyIGxvZ2ljLCBsb2dpYyBwcm9ncmFtbWluZywgbG9n aWNhbCBhc3BlY3RzIG9mIEFJLCBsb2dpY2FsIGFzcGVjdHMgb2YgYmlvaW5mb3JtYXRpY3MsIGxv Z2ljYWwgYXNwZWN0cyBvZiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHksIGxvZ2ljYWwgYXNwZWN0 cyBvZiBxdWFudHVtIGNvbXB1dGF0aW9uLCBsb2dpY2FsIGZyYW1ld29ya3MsIGxvZ2ljcyBvZiBw cm9ncmFtcywgbW9kYWwgYW5kIHRlbXBvcmFsIGxvZ2ljcywgbW9kZWwgY2hlY2tpbmcsIHByb2Jh YmlsaXN0aWMgc3lzdGVtcywgcHJvY2VzcyBjYWxjdWxpLCBwcm9ncmFtbWluZyBsYW5ndWFnZSBz ZW1hbnRpY3MsIHByb29mIHRoZW9yeSwgcmVhbC10aW1lIHN5c3RlbXMsIHJlYXNvbmluZyBhYm91 dCBzZWN1cml0eSBhbmQgcHJpdmFjeSwgcmV3cml0aW5nLCB0eXBlIHN5c3RlbXMgYW5kIHR5cGUg dGhlb3J5LCBhbmQgdmVyaWZpY2F0aW9uLg0KDQoNCkNPVklELTE5DQoNClRoZSBvcmdhbml6ZXJz IGFyZSBjYXJlZnVsbHkgbW9uaXRvcmluZyB0aGUgZGV2ZWxvcG1lbnQgb2YgdGhlIENPVklELTE5 IHBhbmRlbWljLCBhbmQgdGFrZSBndWlkYW5jZSBmcm9tIHRoZSBoZWFsdGggYXV0aG9yaXRpZXMs IHRvIGRldGVybWluZSB3aGV0aGVyIExJQ1MgMjAyMSB3aWxsIGJlIGhlbGQgcGh5c2ljYWxseSwg dmlydHVhbGx5IG9yIGluIGEgaHlicmlkIG1hbm5lci4NCg0KDQpJTVBPUlRBTlQgREFURVMNCg0K QXV0aG9ycyBhcmUgcmVxdWlyZWQgdG8gc3VibWl0IGEgcGFwZXIgdGl0bGUgYW5kIGEgc2hvcnQg YWJzdHJhY3Qgb2YgYWJvdXQgMTAwIHdvcmRzIGluIGFkdmFuY2Ugb2Ygc3VibWl0dGluZyB0aGUg ZXh0ZW5kZWQgYWJzdHJhY3Qgb2YgdGhlIHBhcGVyLiBUaGUgZXhhY3QgZGVhZGxpbmUgdGltZSBv biB0aGVzZSBkYXRlcyBpcyBnaXZlbiBieSBhbnl3aGVyZSBvbiBlYXJ0aCAoQW9FKS4NCg0KVGl0 bGVzIGFuZCBTaG9ydCBBYnN0cmFjdHMgRHVlOiAyMCBKYW51YXJ5IDIwMjENCkZ1bGwgUGFwZXJz IER1ZTogMjUgSmFudWFyeSAyMDIxDQpBdXRob3IgRmVlZGJhY2svUmVidXR0YWwgUGVyaW9kOiAx MC0xNCBNYXJjaCAyMDIxDQpBdXRob3IgTm90aWZpY2F0aW9uOiAzMSBNYXJjaCAyMDIxDQpXb3Jr c2hvcHM6IDI3IEp1bmUgLS0gMjggSnVuZSAyMDIxDQpDb25mZXJlbmNlOiAyOSBKdW5lIC0tIDIg SnVseSAyMDIxICh0ZW50YXRpdmUpDQoNCkRlYWRsaW5lcyBhcmUgZmlybTsgbGF0ZSBzdWJtaXNz aW9ucyB3aWxsIG5vdCBiZSBjb25zaWRlcmVkLiBBbGwNCnN1Ym1pc3Npb25zIHdpbGwgYmUgZWxl Y3Ryb25pYyB2aWENCmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1saWNz MjAyMS4NCg0KDQpTVUJNSVNTSU9OIElOU1RSVUNUSU9OUw0KDQpFdmVyeSBwYXBlciBtdXN0IGJl IHN1Ym1pdHRlZCBpbiB0aGUgSUVFRSBQcm9jZWVkaW5ncyAyLWNvbHVtbiAxMHB0IGZvcm1hdCAo SUVFRXRyYW4uY2xzIFYxLjhiKSBhbmQgbWF5IGJlIGF0IG1vc3QgMTIgcGFnZXMsIGV4Y2x1ZGlu ZyByZWZlcmVuY2VzLiBQYXBlciBzZWxlY3Rpb24gd2lsbCBiZSBtZXJpdC1iYXNlZCwgd2l0aCBu byBhIHByaW9yaSBsaW1pdCBvbiB0aGUgbnVtYmVyIG9mIGFjY2VwdGVkIHBhcGVycy4gUGFwZXJz IGF1dGhvcmVkIG9yIGNvLWF1dGhvcmVkIGJ5IG1lbWJlcnMgb2YgdGhlIHByb2dyYW0gY29tbWl0 dGVlIGFyZSBub3QgYWxsb3dlZC4gUGxlYXNlIHNlZSB0aGUgd2Vic2l0ZSBmb3IgZnVydGhlciBm b3JtYXR0aW5nIGFuZCBzdWJtaXNzaW9uIGluc3RydWN0aW9ucy4gDQoNCkxJQ1MgMjAyMSB3aWxs IHVzZSBhIGxpZ2h0d2VpZ2h0IGRvdWJsZS1ibGluZCByZXZpZXdpbmcgcHJvY2Vzcy4gRm9sbG93 aW5nIHRoaXMgcHJvY2VzcyBtZWFucyB0aGF0IHJldmlld2VycyB3aWxsIG5vdCBzZWUgdGhlIGF1 dGhvcnPigJkgbmFtZXMgb3IgYWZmaWxpYXRpb25zIGFzIHRoZXkgaW5pdGlhbGx5IHJldmlldyBh IHBhcGVyLiBUaGUgYXV0aG9yc+KAmSBuYW1lcyB3aWxsIHRoZW4gYmUgcmV2ZWFsZWQgdG8gdGhl IHJldmlld2VycyBvbmx5IG9uY2UgdGhlaXIgcmV2aWV3cyBoYXZlIGJlZW4gc3VibWl0dGVkLiBQ bGVhc2Ugc2VlIHRoZSB3ZWJzaXRlIGZvciBmdXJ0aGVyIGRldGFpbHMgYW5kIHJlcXVpcmVtZW50 cyBmcm9tIHRoZSBkb3VibGUtYmxpbmQgcHJvY2Vzcy4NCg0KDQpMSUNTIERJU1RJTkdVSVNIRUQg UEFQRVJTIChORVcpDQoNClN0YXJ0aW5nIDIwMjEsIGFyb3VuZCAxMCUgb2YgYWNjZXB0ZWQgTElD UyBwYXBlcnMgd2lsbCBiZSBzZWxlY3RlZCBhcyBkaXN0aW5ndWlzaGVkIHBhcGVycy4gVGhlc2Ug YXJlIHBhcGVycyB0aGF0LCBpbiB0aGUgdmlldyBvZiB0aGUgTElDUyBwcm9ncmFtIGNvbW1pdHRl ZSwgbWFrZSBleGNlcHRpb25hbGx5IHN0cm9uZyBjb250cmlidXRpb24gdG8gdGhlIGZpZWxkIGFu ZCBzaG91bGQgYmUgcmVhZCBieSBhIGJyb2FkIGF1ZGllbmNlIGR1ZSB0aGVpciByZWxldmFuY2Us IG9yaWdpbmFsaXR5LCBzaWduaWZpY2FuY2UgYW5kIGNsYXJpdHkuDQoNCg0KS0xFRU5FIEFXQVJE IEZPUiBCRVNUIFNUVURFTlQgUEFQRVINCg0KQW4gYXdhcmQgaW4gaG9ub3VyIG9mIHRoZSBsYXRl IFN0ZXBoZW4gQy4gS2xlZW5lIHdpbGwgYmUgZ2l2ZW4gZm9yIHRoZSBiZXN0IHN0dWRlbnQgcGFw ZXIocyksIGFzIGp1ZGdlZCBieSB0aGUgcHJvZ3JhbSBjb21taXR0ZWUuDQoNCg0KU1BFQ0lBTCBJ U1NVRVMNCg0KRnVsbCB2ZXJzaW9ucyBvZiB1cCB0byB0aHJlZSBhY2NlcHRlZCBwYXBlcnMsIHRv IGJlIHNlbGVjdGVkIGJ5IHRoZSBwcm9ncmFtIGNvbW1pdHRlZSwgd2lsbCBiZSBpbnZpdGVkIGZv ciBzdWJtaXNzaW9uIHRvIHRoZSBKb3VybmFsIG9mIHRoZSBBQ00uIEFkZGl0aW9uYWwgc2VsZWN0 ZWQgcGFwZXJzIHdpbGwgYmUgaW52aXRlZCB0byBhIHNwZWNpYWwgaXNzdWUgb2YgTG9naWNhbCBN ZXRob2RzIGluIENvbXB1dGVyIFNjaWVuY2UuDQoNCg0KUFVCTElDQVRJT04NCg0KVGhlIG9mZmlj aWFsIHB1YmxpY2F0aW9uIGRhdGUgbWF5IGRpZmZlciBmcm9tIHRoZSBmaXJzdCBkYXkgb2YgdGhl IGNvbmZlcmVuY2UuIFRoZSBvZmZpY2lhbCBwdWJsaWNhdGlvbiBkYXRlIG1heSBhZmZlY3QgdGhl IGRlYWRsaW5lIGZvciBhbnkgcGF0ZW50IGZpbGluZ3MgcmVsYXRlZCB0byBwdWJsaXNoZWQgd29y ay4gV2Ugd2lsbCBjbGFyaWZ5IHRoZSBvZmZpY2lhbCBwdWJsaWNhdGlvbiBkYXRlIGluIGR1ZSBj b3Vyc2UuDQoNCllvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbGljcyBtYWlsaW5nIGxpc3QgYmVj YXVzZSB5b3UgaGF2ZSBzaWduZWQgdXAgZm9yIGl0IGluIHRoZSBwYXN0LgoKU3VibWlzc2lvbnMg dG8gdGhlIG5ld3NsZXR0ZXI6ClNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3NAbGlzdHMudHUtYmVy bGluLmRlLgoKVW5zdWJzY3JpYmU6ClRvIHVuc3Vic2NyaWJlLCBwbGVhc2Ugc2VuZCBhbiBlbWFp bCB0byBsYXMtbGljcy1yZXF1ZXN0QGxpc3RzLnR1LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3Jk ICd1bnN1YnNjcmliZScgaW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4KClN1YnNjcmli ZToKVG8gc3Vic2NyaWJlLCAgcGxlYXNlIHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVz dEBsaXN0cy50dS1iZXJsaW4uZGUgd2l0aAp0aGUga2V5d29yZCAnc3Vic2NyaWJlJyBpbiB0aGUg bWVzc2FnZSBib2R5ICh3aXRob3V0ICcpLg==