From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10558 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,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda Subject: [LICS] Call for Workshop Proposals affiliated to LICS at FLOC'22 Date: Fri, 17 Sep 2021 11:09:50 +0000 Message-ID: <49859862-02F1-4FB8-869C-772E4C6B006B@cs.ox.ac.uk> 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="12670"; 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" , "DMANET@zpr.uni-koeln.de" , "homotopytypetheory@googlegroups.com" , "rewriting@ens-lyon.fr" , "coq- Original-X-From: las-lics-bounces+gcsmll-las-lics=m.gmane-mx.org@lists.tu-berlin.de Fri Sep 17 13:23:05 2021 Return-path: Envelope-to: gcsmll-las-lics@m.gmane-mx.org Original-Received: from mailrelay.tu-berlin.de ([130.149.7.70] helo=exchange.tu-berlin.de) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mRBxR-0003Br-7b for gcsmll-las-lics@m.gmane-mx.org; Fri, 17 Sep 2021 13:23:05 +0200 Original-Received: from SPMA-02.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id D552738978_1447A97B for ; Fri, 17 Sep 2021 11:23:03 +0000 (GMT) Original-Received: from mail.tu-berlin.de (postcard.tu-berlin.de [141.23.12.142]) (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-02.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id E933B3BB08_1447A91F for ; Fri, 17 Sep 2021 11:22:57 +0000 (GMT) Original-Received: from ex-03.svc.tu-berlin.de (10.150.18.7) by ex-06.svc.tu-berlin.de (10.150.18.10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.922.13; Fri, 17 Sep 2021 13:22:57 +0200 Original-Received: from lists.tu-berlin.de (130.149.4.33) by ex-03.svc.tu-berlin.de (10.150.18.7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.922.13 via Frontend Transport; Fri, 17 Sep 2021 13:22:57 +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 1mRBxI-0007w5-9M; Fri, 17 Sep 2021 13:22:56 +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 1mRBl9-0007p4-SM; Fri, 17 Sep 2021 13:10:23 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by a1861.mx.srv.dfn.de (Postfix) with ESMTP id C51962600E4 for ; Fri, 17 Sep 2021 13:10:23 +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 Hz8iLrPQMApL for ; Fri, 17 Sep 2021 13:10:22 +0200 (CEST) Original-Received: from relay19.mail.ox.ac.uk (relay19.mail.ox.ac.uk [129.67.1.170]) by a1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Fri, 17 Sep 2021 13:10:22 +0200 (CEST) Original-Received: from hub03.nexus.ox.ac.uk ([163.1.154.216] helo=Hub03.ad.oak.ox.ac.uk) by relay19.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1mRBkg-0001I7-BY; Fri, 17 Sep 2021 12:09:54 +0100 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.56) by smtp.nexus.ox.ac.uk (163.1.154.216) with Microsoft SMTP Server (TLS) id 14.3.498.0; Fri, 17 Sep 2021 12:09:50 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=a5H0EaFzf9R6uh7cu8titx8JG7pAxTrfaQuTqP5qH1AYYCbcQOjQp9JihH/qn8ZomEQTWNmmgiqmFBn0vqu68+H0Ys14rjUHjCCK8LznQCyohSyoDeZ7AxmtavD1jc0VNRqIkmWaxin+IkWlC9xvBPb+tldYZu5W1MXn8P+LXc0lLzv7Or14w/RvuokX3ug+7V/9CaT4jNordp3UuIndZAS1/aYoPjFZwDT0nXoEDjTs1fp0H5gxluyB1DFM+o2n7P0yok7EzWAWemyUl3MQcuo6QwRsxHGzDXdrZNqfTggCabTfz5GJvq59DLFPVR6FACBM9GB+K92tIeUooU7J+A== 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; bh=5aqzuxs6cF/VwMG31/TzHX8xJrQkJgphKUvSZosff18=; b=UAbyG10V6C+MGZSUXfbAoeLc2QjdNuTtMXuUoiigvn4sIB8Dy79YZonFXbYMqXD5Ci28y1bnBc3s7OChkA1hlXE6X6DaJrwdtoI1FGNcinvfRDi5fjpH7F3mnbTLg9IONu1cPbZjAZB1nvs/OkER/dNczDrfUSUJWmsLrug+XWd3cubhV0Ty6dpp0OwRlgwNnWktEku5+t8Ck2m2iDNriMEhT8kz14V3pTledX++4XhfK5nEqjtOplYAP45urOHmwWyKyadsMpsol7SO45U2gkdvJAUipzPRrfwtJRNze0CTEju1I0TZcntbq2J4J8KNW3/osCAW17793x0y+8+T9w== 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 LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by LO2P265MB3327.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:177::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4523.14; Fri, 17 Sep 2021 11:09:50 +0000 Original-Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::853a:4708:c02f:74fd]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::853a:4708:c02f:74fd%9]) with mapi id 15.20.4523.016; Fri, 17 Sep 2021 11:09:50 +0000 Thread-Topic: Call for Workshop Proposals affiliated to LICS at FLOC'22 Thread-Index: AQHXq7SIPRQsIXRA7EGnrvkK4k1Obg== Accept-Language: en-US Content-Language: en-US x-mailer: Apple Mail (2.3445.104.21) 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-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 0870cbb8-79e7-45a1-23a0-08d979cbaae9 x-ms-traffictypediagnostic: LO2P265MB3327: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 91076MDY72nlD7xHfrKr0NTB17Q3fSNge3U92fSad4GGY0HkfyV7hv6MeciKpfyJpuw9UQQRMFSfQ7kVtVlSvLoPzIk53gLilIn6850lwzcZRkQ8QVcnxIqrufE55dLSM8n3DpjSMebbPB4exwN0+hppxxgSrAXAKrd4NDmwUgy7liWJ3UR2VvKNz1I25ahTjjx7A7esAm035Oy10nEJ/ZZUZIEan/qzEdrAPjbILfjhxJxY6l2J2PDauNKlQJoLE2zOA1ENH0APHRXLee4o7O/+QGlDdtdMB36qQij/sg5FQpAmZvK94CNUX1Zd/GaiQa6Ex5JaLwWzadbId/gVffafWYKhr7JUhluPyT3Hd1kE+ClyNXi3cU1pNGibMboCKRwdekFyCnh1Dg+41lFQw3ub+f3MForMkSKF+8k+DJSE5oQA3M1yLyVsn4j11zPvFtCr3FN6Fvj8MpBujD1keW3Ggdaay6gsPyveRy/8H8nVL2z4e6FvBXnjD6v4UrnCRLjo1kkXxaszwzRaeUTkLI+wT7CqB5b6vfIyP+uMYWI6i2130l1bHNxPvmD/oO0hz2p9W4mIlWhtXxJQbVQFQLUq+9uOWdLiiEQK2ag01I8ppZlGx12w0GCTjEf8Ted5dG417K5vy0Gmz3VPWhLr7QtE7qJg/I7GUTE8uOVjZnbveJmkegpoGYa/ZKKgH3/2JQvNxgkmKjgiPaPXb8zEuuG2GQRZR2dsj+q/xnUQ7w4wGOVsHvEEYMAeQH4Ju HLy5udpUb0FlqqZ1p/ekQSY2GQqTmFrr4RSVfYFUNvT647SkDZANTySI+L97DtPk5O7w1rUTcWCW5wbM41JKYB3i/jFjbqjdlU x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(366004)(376002)(396003)(39860400002)(346002)(136003)(921005)(38070700005)(122000001)(76116006)(966005)(83380400001)(6486002)(66476007)(2906002)(66556008)(66446008)(186003)(66946007)(33656002)(44832011)(64756008)(71200400001)(478600001)(6512007)(38100700002)(110136005)(316002)(2616005)(86362001)(7416002)(8676002)(5660300002)(6506007)(8936002)(45980500001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?eVFxTCs4WlN0YnNTQXNhK29md0JqdjBSQkdxdFJFQ1k0NGJpcG9MLzFVQnR4?= =?utf-8?B?N1ppMGhicVl1RXpSU01xc0psbmZ6dHhKTW1SUzE2Z3M2NkM0MldDcis5UXpZ?= =?utf-8?B?dkdjNng5SWEwWmdIWTY3RkErcmZ6QWZ2V3ZIb0JuU2tNVURnRFZydGViRzZh?= =?utf-8?B?ZkNteWRVK0FCTEtxOEtYNDBubG9vTWFkdlh4YXdNV1NvSldNWkJWYzAvY3h5?= =?utf-8?B?ZGN0Tm90ckhta3FrZWhBVldldWFjWHdlekZMZ3NuYTZRTGttcldwbDE5UGJv?= =?utf-8?B?OEZXcDVHN3IrbkVJeXNIT3VKVUtGZnJTYXc3UWcrS3dxS2gvWjF4bExKR0dG?= =?utf-8?B?Vlc1UXZWQzVUcUd3clo4emlCLytqT2hrUUszNTJiRHI5RTI2N0pSQlp3YXM3?= =?utf-8?B?L2FCL2k1WVU3azFSL2VpSDhtS0s3bXozV3IybGRVM09ZTVJESUtHYzJjVC9v?= =?utf-8?B?TW1xalppdlUyS0I3ek1RY0NDemdIVzdGM2ZCZjl1UitJVHZHM09LbE5OL3Mv?= =?utf-8?B?eEVHc2NKREdvUG9lWEVScXl5ek0vamFvakV0Sm81NW1INjhHRWNxU1A4VW02?= =?utf-8?B?aHJmNWMxaXdKWjFKdU1qMEVuS1JUcSs1NWl5VHErTVpRekxJeHE2b2NRdWlT?= =?utf-8?B?OVMvS1RJU1NMMmNCMTR4QTVaM3l3Sk5OR1RMZX x-ms-exchange-transport-forked: True Content-ID: X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 0870cbb8-79e7-45a1-23a0-08d979cbaae9 X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Sep 2021 11:09:50.1148 (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: LnHB9aeAlkKheusH9CRUA1SlOApGezkQW9r5gGsgeUixSbK4Ubd7i+B2OuNKUrQPJ1/NS3yT87/71D7XHFVrgg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB3327 X-Mailman-Approved-At: Fri, 17 Sep 2021 13:22:55 +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-06.svc.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=hiGpi0rJQUVN15eUR0PonLVRZS921YWEEUT1Z+tpYTc=; b=bc3bD3lR47hzI6t0ma5ewqLutqyWahELMRX4DbyCg/7PEiJT7vjsIgpe7inbAIXomG2vPzfUnWo4uPXysTwvswUhJNvTL2VM4Y6GTQFIDoOXY36UOXbFpsf3p9WSJJmLexFAYTWL9RfQwwXO+yWV/nqfZv4sDKlcR3qizhr0DPg= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:115 gmane.science.mathematics.categories:10558 gmane.comp.lang.agda:12735 gmane.science.mathematics.discrete:15444 gmane.science.mathematics.logic.coq.club:23084 Archived-At: V2FybmluZzogZGVhZGxpbmUgb24gU2VwdGVtYmVyIDI3LCAyMDIxDQoNCkNhbGwgZm9yIFdvcmtz aG9wcyAtIEZMb0MgMjAyMiDigJQgVGhlIDIwMjIgRmVkZXJhdGVkIExvZ2ljIENvbmZlcmVuY2UN Ckp1bHkgMzEgLSBBdWd1c3QgMTIsIDIwMjINCkhhaWZhLCBJc3JhZWwNCmh0dHA6Ly93d3cuZmxv YzIwMjIub3JnLw0KDQpDQUxMIEZPUiBXT1JLU0hPUFMNCg0KVGhlIEVpZ2h0aCBGZWRlcmF0ZWQg TG9naWMgQ29uZmVyZW5jZSAoRkxvQyAyMDIyKSB3aWxsIGhvc3QgdGVuDQpjb25mZXJlbmNlcyBp bmNsdWRpbmcNCg0KTElDUyAoMzd0aCBBbm51YWwgQUNNL0lFRUUgU3ltcG9zaXVtIG9uIExvZ2lj IGluIENvbXB1dGVyIFNjaWVuY2UpIGh0dHBzOi8vbGljcy5zaWdsb2cub3JnLw0KV29ya3Nob3Ag Y2hhaXI6IEZyZWRlcmljIEJsYW5xdWkgRnJlZGVyaWMuQmxhbnF1aUBpbnJpYS5mcg0KDQpTVUJN SVNTSU9OIE9GIFdPUktTSE9QIFBST1BPU0FMUw0KDQpSZXNlYXJjaGVycyBhbmQgcHJhY3RpdGlv bmVycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgcHJvcG9zYWxzIGZvciB3b3Jrc2hvcHMgb24NCnRv cGljcyBpbiB0aGUgZmllbGQgb2YgY29tcHV0ZXIgc2NpZW5jZSwgcmVsYXRlZCB0byBsb2dpYyBp biB0aGUgYnJvYWQgc2Vuc2UuDQpFYWNoIHdvcmtzaG9wIHByb3Bvc2FsIG11c3QgaW5kaWNhdGUg b25lIGFmZmlsaWF0ZWQgY29uZmVyZW5jZSBvZiBGTG9DIDIwMjIuDQoNCkl0IGlzIHN0cm9uZ2x5 IHN1Z2dlc3RlZCB0aGF0IHByb3NwZWN0aXZlIHdvcmtzaG9wIG9yZ2FuaXplcnMgY29udGFjdCB0 aGUNCnJlbGV2YW50IGNvbmZlcmVuY2Ugd29ya3Nob3AgY2hhaXIgYmVmb3JlIHN1Ym1pdHRpbmcg YSBwcm9wb3NhbC4NCg0KRWFjaCBwcm9wb3NhbCBzaG91bGQgY29uc2lzdCBvZiB0aGUgZm9sbG93 aW5nIHR3byBwYXJ0cy4NCg0KMSkgQSBzaG9ydCBzY2llbnRpZmljIGp1c3RpZmljYXRpb24gb2Yg dGhlIHByb3Bvc2VkIHRvcGljLCBpdHMgc2lnbmlmaWNhbmNlLA0KYW5kIHRoZSBwYXJ0aWN1bGFy IGJlbmVmaXRzIG9mIHRoZSB3b3Jrc2hvcCB0byB0aGUgY29tbXVuaXR5LCBhcyB3ZWxsIGFzIGEN Cmxpc3Qgb2YgcHJldmlvdXMgb3IgcmVsYXRlZCB3b3Jrc2hvcHMgKGlmIHJlbGV2YW50KS4NCg0K MikgQW4gb3JnYW5pc2F0aW9uYWwgcGFydCBpbmNsdWRpbmc6DQoNCi0gY29udGFjdCBpbmZvcm1h dGlvbiBmb3IgdGhlIHdvcmtzaG9wIG9yZ2FuaXplcnM7DQotIHByb3Bvc2VkIGFmZmlsaWF0ZWQg Y29uZmVyZW5jZTsNCi0gZXN0aW1hdGUgb2YgdGhlIG51bWJlciBvZiB3b3Jrc2hvcCBwYXJ0aWNp cGFudHMgKHBsZWFzZSBub3RlIHRoYXQgc21hbGwgd29ya3Nob3BzLCBpLmUuLCBvZiBsZXNzIHRo YW4gfjEzIHBhcnRpY2lwYW50cywgd2lsbCBsaWtlbHkgYmUgY2FuY2VsbGVkIG9yIG1lcmdlZCk7 DQotIHByb3Bvc2VkIGZvcm1hdCBhbmQgYWdlbmRhIChlLmcuIHBhcGVyIHByZXNlbnRhdGlvbnMs IHR1dG9yaWFscywgZGVtbyBzZXNzaW9ucywgZXRjLik7DQotIHBvdGVudGlhbCBpbnZpdGVkIHNw ZWFrZXJzIChub3RlIHRoYXQgZXhwZW5zZXMgb2Ygd29ya3Nob3AgaW52aXRlZCBzcGVha2VycyBh cmUgbm90IGNvdmVyZWQgYnkgRkxvQyk7DQotIHByb2NlZHVyZXMgZm9yIHNlbGVjdGluZyBwYXBl cnMgYW5kIHBhcnRpY2lwYW50czsNCi0gcGxhbnMgZm9yIGRpc3NlbWluYXRpb24sIGlmIGFueSAo ZS5nLiBhIGpvdXJuYWwgc3BlY2lhbCBpc3N1ZSk7DQotIGR1cmF0aW9uICh3aGljaCBtYXkgdmFy eSBmcm9tIG9uZSBkYXkgdG8gdHdvIGRheXMpOw0KLSBwcmVmZXJyZWQgcGVyaW9kIChwcmUgb3Ig cG9zdCBGTG9DKTsNCi0gdmlydHVhbC9oeWJyaWQgYmFja3VwIHBsYW5zIChpbmNsdWRpbmcgcGxh dGZvcm0gcHJlZmVyZW5jZSkuDQpUaGUgRkxvQyBPcmdhbml6aW5nIENvbW1pdHRlZSB3aWxsIGRl dGVybWluZSB0aGUgZmluYWwgbGlzdCBvZiBhY2NlcHRlZA0Kd29ya3Nob3BzIGJhc2VkIG9uIHRo ZSByZWNvbW1lbmRhdGlvbnMgZnJvbSB0aGUgV29ya3Nob3AgQ2hhaXJzIG9mIHRoZSBob3N0aW5n DQpjb25mZXJlbmNlcyBhbmQgYXZhaWxhYmlsaXR5IG9mIHNwYWNlIGFuZCBmYWNpbGl0aWVzLg0K DQpQcm9wb3NhbHMgc2hvdWxkIGJlIHN1Ym1pdHRlZCB0aHJvdWdoIEVhc3lDaGFpcjoNCmh0dHBz Oi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1mbG9jMjAyMndvcmtzaG9wcw0KDQpQ bGVhc2Ugc2VlIHRoZSBXb3Jrc2hvcCBHdWlkZWxpbmVzIHBhZ2U6IGh0dHBzOi8vZmxvYzIwMjIu b3JnL3dvcmtzaG9wcy8gZm9yIGZ1cnRoZXIgZGV0YWlscyBhbmQgRkFRLg0KDQpJTVBPUlRBTlQg REFURVMNCg0KU3VibWlzc2lvbiBvZiB3b3Jrc2hvcCBwcm9wb3NhbHMgZGVhZGxpbmU6IFNlcHRl bWJlciAyNywgMjAyMSAobm90ZSBleHRlbmRlZCBkZWFkbGluZSkNCk5vdGlmaWNhdGlvbjogTm92 ZW1iZXIgMSwgMjAyMQ0KUHJlLUZMb0Mgd29ya3Nob3BzOiBTdW5kYXkgJiBNb25kYXksIEp1bHkg MzHigJNBdWd1c3QgMSwgMjAyMiAobm90ZSBjb3JyZWN0ZWQgZGF0ZXMpDQpQb3N0LUZMb0Mgd29y a3Nob3BzOiBUaHVyc2RheSAmIEZyaWRheSwgQXVndXN0IDExLTEyLCAyMDIyDQoNCkNPTlRBQ1Qg SU5GT1JNQVRJT04NCg0KUXVlc3Rpb25zIHJlZ2FyZGluZyBwcm9wb3NhbHMgc2hvdWxkIGJlIHNl bnQgdG8gdGhlIHdvcmtzaG9wIGNoYWlycyBvZiB0aGUNCnByb3Bvc2VkIGFmZmlsaWF0ZWQgY29u ZmVyZW5jZS4gR2VuZXJhbCBxdWVzdGlvbnMgc2hvdWxkIGJlIHNlbnQgdG86DQpzaGF1bGxAdGVj aG5pb24uYWMuaWwNCkd1aWxsZXJtb0FsYmVydG8uUGVyZXpAdWFudHdlcnBlbi5iZQ0KDQpGTG9D IDIwMjIgV09SS1NIT1AgQ0hBSVJTDQpTaGF1bGwgQWxtYWdvcg0KR3VpbGxlcm1vIEEuIFBlcmV6 DQoNCllvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbGljcyBtYWlsaW5nIGxpc3QgYmVjYXVzZSB5 b3UgaGF2ZSBzaWduZWQgdXAgZm9yIGl0IGluIHRoZSBwYXN0LgoKU3VibWlzc2lvbnMgdG8gdGhl IG5ld3NsZXR0ZXI6ClNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3NAbGlzdHMudHUtYmVybGluLmRl LgoKVW5zdWJzY3JpYmU6ClRvIHVuc3Vic2NyaWJlLCBwbGVhc2Ugc2VuZCBhbiBlbWFpbCB0byBs YXMtbGljcy1yZXF1ZXN0QGxpc3RzLnR1LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3JkICd1bnN1 YnNjcmliZScgaW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4KClN1YnNjcmliZToKVG8g c3Vic2NyaWJlLCAgcGxlYXNlIHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0 cy50dS1iZXJsaW4uZGUgd2l0aAp0aGUga2V5d29yZCAnc3Vic2NyaWJlJyBpbiB0aGUgbWVzc2Fn ZSBib2R5ICh3aXRob3V0ICcpLg==