From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10052 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.lang.agda,gmane.science.mathematics.discrete Subject: [LICS] ICALP-LICS 2020 Second Call for Workshops Date: Tue, 19 Nov 2019 20:41:28 +0000 Message-ID: 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="153759"; 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" , "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.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 1iXB0Z-000dmo-IH for gcsmll-las-lics@m.gmane.org; Tue, 19 Nov 2019 22:25:59 +0100 Original-Received: from SPMA-03.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 019676E6CC_DD45DE3B for ; Tue, 19 Nov 2019 21:25:55 +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 41680951B9_DD45DE1F for ; Tue, 19 Nov 2019 21:25:53 +0000 (GMT) Original-Received: from EX-CAS-02.tubit.win.tu-berlin.de (172.26.35.182) by EX-MBX06.tubit.win.tu-berlin.de (172.26.35.176) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Tue, 19 Nov 2019 22:25:52 +0100 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; Tue, 19 Nov 2019 22:25:47 +0100 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 1iXB0H-0005LA-Ol; Tue, 19 Nov 2019 22:25:41 +0100 Original-Received: from c1861.mx.srv.dfn.de ([194.95.238.130]) by mali.tubit.tu-berlin.de (exim-4.92.2) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1iXAJw-00054C-4D; Tue, 19 Nov 2019 21:41:56 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by c1861.mx.srv.dfn.de (Postfix) with ESMTP id 039A3140080 for ; Tue, 19 Nov 2019 21:41:56 +0100 (CET) X-DFN-Virus-Scanned: Debian amavisd-new at mgw4-erl.srv.dfn.de Original-Received: from c1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw4-erl.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id fZG5MI_5OnZP for ; Tue, 19 Nov 2019 21:41:53 +0100 (CET) Original-Received: from relay15.mail.ox.ac.uk (relay15.mail.ox.ac.uk [163.1.2.163]) by c1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Tue, 19 Nov 2019 21:41:53 +0100 (CET) Original-Received: from hub04.nexus.ox.ac.uk ([163.1.154.215] helo=HUB04.ad.oak.ox.ac.uk) by relay15.mail.ox.ac.uk with esmtps (TLS1.0:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1iXAJb-000C6V-pI; Tue, 19 Nov 2019 20:41:35 +0000 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.56) by smtp.nexus.ox.ac.uk (163.1.154.215) with Microsoft SMTP Server (TLS) id 14.3.468.0; Tue, 19 Nov 2019 20:41:29 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=II7/loESY2uu0BylJ4Y67GL53JvcB/F53jnQMJaxl5HBbjIYs02W9LowcBdpSCteo2J7i0BJH+85bYuharK6lNWcpCkvqsp03oHppL/ZImDtUORJS7i58gcqRidyh2vF7VvxbsgcVjGCgEmQApcfBmDHyIw/lklD4twsBpRJiST52sdvn3SUQ9765+P+hZyU0N6atPglLq9K6BR1t98pqxZN/zJyskKqYRMK4rsEYgHAuEAXobf/I/iTeySC1aFhv8zUL3eZnSUz0UBJr/0E93mijpMOHLt9IcroTlsjy2RvZGhpStU4Db9XkMUgcWgsRkob6U8BDDBXi8lvY+NyIw== 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=6il9XdMDrqiXnMXovmCpNSO/3i8adawFpysS2+cW+aU=; b=eG6HkrJcvlpQzJb8QspAdpEmHY/FhkVJdqJHFxudYf2w4M1vKlLNKP5WAhYD+6W1bP0VpbedyQTrEpm647qvcD0czjuLYuaLo/knpfmUJtnzO9GfYJY+ChM1Svas4nrnvd7w5fLFHq2YBsIug7KVAu80A0pqvcYmFl9xCut4zuzjONEAA/PucEhvVuWZaAxaZQ0Mk5uSb2BgxO5hD66Hr+UX99xYiws6TLVsSvcsMMuzRY506vkyTQoUpB+euxlR739aYvKOlAJURzRiNTKUM/1iZMW4qbOaUpLmxwhNgWeZUaV6BHWGPoBUbfZXUN6kFTJHK/jTisSSEigLNZb2Hg== 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 LNXP265MB0361.GBRP265.PROD.OUTLOOK.COM (10.166.180.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2451.28; Tue, 19 Nov 2019 20:41:29 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::515e:4396:d516:83e3]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::515e:4396:d516:83e3%5]) with mapi id 15.20.2451.031; Tue, 19 Nov 2019 20:41:29 +0000 Thread-Topic: ICALP-LICS 2020 Second Call for Workshops Thread-Index: AQHVnxm4SLOFqgvCxkeIc1b9pUWvcw== 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: [2.217.4.78] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 72e35f71-44ea-4316-7375-08d76d30dabc x-ms-traffictypediagnostic: LNXP265MB0361: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 022649CC2C x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(376002)(396003)(136003)(366004)(346002)(199004)(189003)(50854003)(64756008)(4743002)(2171002)(478600001)(316002)(102836004)(7736002)(44832011)(186003)(6506007)(2201001)(6116002)(66066001)(8936002)(476003)(71190400001)(6486002)(7416002)(86362001)(71200400001)(6512007)(6306002)(9686003)(6436002)(256004)(14444005)(36756003)(33656002)(66574012)(66556008)(486006)(786003)(305945005)(2906002)(26005)(66446008)(66476007)(66946007)(3846002)(14454004)(561944003)(8676002)(25786009)(58126008)(5660300002)(76116006)(81156014)(99286004)(110136005)(2501003)(81166006)(921003)(1121003); DIR:OUT; SFP:1102; SCL:1; SRVR:LNXP265MB0361; 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: HAiLzUXb0si5DCoUFYKg/YfP3XuHD0YeAQrJMsT+XjNuDXRkKrXnVqI2+466h2VPnKlggDL2gcLaRb1qpmSr+7bUAFTbrkQj/3sAeKHqJPV9AVkG5k6/q85Ba+bP23IKqE3AWQjzCrueUtC4WI5/FkNoVtHtnzhQD27LOq1uW2xVf2ty78egZoqDvN50DFNkIw2mAhkX+9Ey8JPa+8JFLZuvxsYigAfFROptkIEKK1LWQzVcIEat92CE9SykiV0INJhhs2RZL32WJI/C/FsRq1HZgwPS76sJmsZzSmfZJRWe0q7ZRPcp6N3xPzxAML7onFK7tUkwIk7eGq1hCfM7V71EAOdsIGPiwKvmCS78AH1KjdJrmvbUc2HiTbx/g7o44kfnKvUrLe32MrvGagabA7GcXGXkPNjjvbRKROhlpRNsZt7zWst0qY9V3fseolQa x-ms-exchange-transport-forked: True Content-ID: <80007213BA8A3449AFF1E9109AA11DAE@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-Network-Message-Id: 72e35f71-44ea-4316-7375-08d76d30dabc X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Nov 2019 20:41:29.1066 (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: Ey4A1YKudeEwyW8DPMX0DBovHNfmaAuDX3t4iI1gWIeqFdXv0e3rr9PxUE6vPBdPJ5zJVppbDa3UAqHMfy7XyA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB0361 X-Mailman-Approved-At: Tue, 19 Nov 2019 22:25:39 +0100 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.77.1, Antivirus-Data: 5.70 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=vXmJeuaYUFQeJ9P2FeevHdk3Vs+YjYvHmq588wMNCzA=; b=eDkaF//sh4ezCjwgnxRqoqKgIalhPc9APjeBflxHxipFB4yJRDPJ1n7JsfdnnK2R4MzbFzh0a0xenqPlNJFT3pNKl/rTbRzjEyEbkDN3vRXqHv8rrmB/cJ+v1dGSF7hq3n9hhmhyhD6hkNUwuHcim/5JbH957oc9XVW9urtPVIc= Xref: news.gmane.org gmane.comp.science.mathematics.logic.lics-newsletter:92 gmane.science.mathematics.categories:10052 gmane.comp.lang.agda:11362 gmane.science.mathematics.discrete:13045 Archived-At: SUNBTFAgMjAyMCAoaHR0cDovL2Vjb25jcy5wa3UuZWR1LmNuL2ljYWxwMjAyMC8pIGFuZCBMSUNT IDIwMjAgKGh0dHBzOi8vbGljcy5zaWdsb2cub3JnL2xpY3MyMC8pIHdpbGwgdGFrZSBwbGFjZSBp biBjby1sb2NhdGlvbiBmcm9tIDh0aCB0aWxsIDEydGggb2YgSnVseSAyMDIwIGluIEJlaWppbmcs IENoaW5hLiBUaGUgY29uZmVyZW5jZXMgd2lsbCBiZSBwcmVjZWRlZCBieSB0d28gZGF5cyBvZiBq b2ludCB3b3Jrc2hvcHMsIGhlbGQgb24gSnVseSA2dGggYW5kIDd0aC4gV2UgaW52aXRlIHByb3Bv c2FscyBvZiB3b3Jrc2hvcHMgYWZmaWxpYXRlZCB3aXRoIElDQUxQLUxJQ1MgMjAyMCBvbiBhbGwg dG9waWNzIGNvdmVyZWQgYnkgSUNBTFAgYW5kIExJQ1MsIGFzIHdlbGwgYXMgb3RoZXIgYXJlYXMg b2YgdGhlb3JldGljYWwgY29tcHV0ZXIgc2NpZW5jZS4NCg0KUHJvcG9zYWxzIHNob3VsZCBiZSBz dWJtaXR0ZWQgbm8gbGF0ZXIgdGhhbg0KICANCiAgKioqICBOb3ZlbWJlciAzMHRoLCAyMDE5ICoq Kg0KDQpieSBzZW5kaW5nIGFuIGVtYWlsIHRvIGZyZWRlcmljLmJsYW5xdWlAaW5yaWEuZnIuIER1 ZSB0byBsaW1pdGVkIHNwYWNlIG9mIHRoZSB2ZW51ZSB3ZSBtaWdodCBub3QgYmUgYWJsZSB0byBh Y2NvbW1vZGF0ZSBhbGwgdGhlIHByb3Bvc2VkIHdvcmtzaG9wcy4gWW91IHNob3VsZCBleHBlY3Qg bm90aWZpY2F0aW9uIG9uIHRoZSBhY2NlcHRhbmNlIG9mIHlvdXIgcHJvcG9zYWwgYnkgbWlkIERl Y2VtYmVyIDIwMTkuDQoNCkEgd29ya3Nob3AgcHJvcG9zYWwgc3VibWlzc2lvbiBzaG91bGQgY29u c2lzdCBvZjoNCg0KLSB3b3Jrc2hvcCdzIG5hbWUgYW5kIFVSTCAoaWYgYWxyZWFkeSBhdmFpbGFi bGUpDQoNCi0gd29ya3Nob3AncyBvcmdhbml6ZXJzIHRvZ2V0aGVyIHdpdGggdGhlaXIgZW1haWwg YWRkcmVzc2VzIGFuZCB3ZWIgcGFnZXM7DQotIHNob3J0IGRlc2NyaXB0aW9uIG9mIHRoZSBhcmVh IGNvdmVyZWQgYnkgdGhlIHdvcmtzaG9wIGFuZCB0aGUgbW90aXZhdGlvbiBiZWhpbmQgaXQ7DQoN Ci0gZXhwZWN0ZWQgbnVtYmVyIG9mIHBhcnRpY2lwYW50cyAoaWYgYXZhaWxhYmxlLCBwbGVhc2Ug aW5jbHVkZSB0aGUgZGF0YSBvZiBwcmV2aW91cyB5ZWFycyk7DQoNCi0gcGxhbm5lZCBmb3JtYXQg b2YgdGhlIGV2ZW50Ow0KLSBkYXRlIHByZWZlcmVuY2UgKEp1bHkgNnRoIG9yIDd0aCkuDQoNCkFz IGZvciB0aGUgZm9ybWF0LCBhIHN0YW5kYXJkIG9wdGlvbiBpcyBhIG9uZS1kYXkgd29ya3Nob3Ag Y29uc2lzdGluZyBvZiBpbnZpdGVkIHRhbGtzIGJ5IGxlYWRpbmcgZXhwZXJ0cyBhbmQgb2Ygc2hv cnRlciBjb250cmlidXRlZCB0YWxrcywgZWl0aGVyIGRpcmVjdGx5IGludml0ZWQgYnkgdGhlIG9y Z2FuaXplcnMgb3Igc2VsZWN0ZWQgYW1vbmcgc3VibWlzc2lvbnMuIERldmlhdGlvbnMgZnJvbSB0 aGlzIHN0YW5kYXJkIGFyZSBhbHNvIHdhcm1seSB3ZWxjb21lLCBpbmNsdWRpbmcgYSBzaG9ydGVy IG9yIGEgbG9uZ2VyIHRpbWUgc3BhbiB0aGFuIGEgZnVsbCBkYXksIG9yIG90aGVyIGVsZW1lbnRz IG9mIHRoZSBzY2hlZHVsZSBsaWtlIG9wZW4gcHJvYmxlbSBzZXNzaW9ucywgZGlzY3Vzc2lvbiBw YW5lbHMsIG9yIHdvcmtpbmcgc2Vzc2lvbnMuDQoNCklmIHlvdSBwbGFuIHRvIGhhdmUgaW52aXRl ZCBzcGVha2VycywgcGxlYXNlIHNwZWNpZnkgdGhlaXIgZXhwZWN0ZWQgbnVtYmVyIGFuZCwgaWYg cG9zc2libGUsIHRlbnRhdGl2ZSBuYW1lcy4gSWYgeW91IHBsYW4gYSBjYWxsIGZvciBwYXBlcnMg b3IgZm9yIGNvbnRyaWJ1dGVkIHRhbGtzIGZvbGxvd2VkIGJ5IGEgc2VsZWN0aW9uIHByb2NlZHVy ZSwgdGhlIHN1Ym1pc3Npb24gZGF0ZSBzaG91bGQgYmUgc2NoZWR1bGVkIGFmdGVyIElDQUxQIDIw MjAgYW5kIExJQ1MgMjAyMCBub3RpZmljYXRpb24sIHdoaWxlIHRoZSBub3RpZmljYXRpb24gc2hv dWxkIHRha2UgcGxhY2UgY29uc2lkZXJhYmx5IGJlZm9yZSB0aGUgZWFybHkgcmVnaXN0cmF0aW9u IGRlYWRsaW5lLiBJbiB5b3VyIHN1Ym1pc3Npb24gcGxlYXNlIGluY2x1ZGUgZGV0YWlscywgaW4g cGFydGljdWxhciB0aGUgdGltZSBzY2hlZHVsZSwgb2YgdGhlIHBsYW5uZWQgcHJvY2VkdXJlIG9m IHNlbGVjdGluZyBwYXBlcnMgYW5kL29yIGNvbnRyaWJ1dGVkIHRhbGtzLiBJZiB5b3UgcGxhbiB0 byBoYXZlIHB1Ymxpc2hlZCBwcm9jZWVkaW5ncyBvZiB5b3VyIHdvcmtzaG9wLCBwbGVhc2UgcHJv dmlkZSB0aGUgbmFtZSBvZiB0aGUgcHVibGlzaGVyLiBQbGVhc2UgYmUgYWR2aXNlZCB0aGF0IElD QUxQLUxJQ1MgMjAyMCBpcyBub3QgYWJsZSB0byBwcm92aWRlIGFueSBmaW5hbmNpYWwgc3VwcG9y dCBmb3IgcHVibGlzaGluZyB3b3Jrc2hvcCBwcm9jZWVkaW5ncy4NCg0KV2UgZXhwZWN0IHRoZSB3 b3Jrc2hvcHMgdG8gYmUgZmluYW5jaWFsbHkgaW5kZXBlbmRlbnQuIFRoZSBleHBlbnNlcyByZWxh dGVkIHRvIHRoZSBwYXJ0aWNpcGF0aW9uIG9mIGludml0ZWQgc3BlYWtlcnMsIHByb2R1Y3Rpb24g b2Ygd29ya3Nob3AgbWF0ZXJpYWxzLCBldGMuIHNob3VsZCBiZSBjb3ZlcmVkIGZyb20gaW5kZXBl bmRlbnQgc291cmNlcy4gT24gdG9wIG9mIHN0YW5kYXJkIElDQUxQL0xJQ1MgcmVnaXN0cmF0aW9u IGZlZSB0aGVyZSB3aWxsIGJlIGEgbW9kZXJhdGUgcmVnaXN0cmF0aW9uIGZlZSBmb3IgdGhlIHdv cmtzaG9wcyB0aGF0IHdpbGwgY292ZXIgY29mZmVlIGJyZWFrcy4gVGhpcyB3b3Jrc2hvcCBmZWUg d2lsbCBiZSB3YWl2ZWQgZm9yIG1heGltdW0gdHdvIGludml0ZWQgc3BlYWtlcnMgZm9yIGVhY2gg d29ya3Nob3AuDQoNCldvcmtzaG9wIHNlbGVjdGlvbiBjb21taXR0ZWU6DQogICAgRnLDqWTDqXJp YyBCbGFucXVpDQogICAgTmFva2kgS29iYXlhc2hpDQogICAgWXVxaW4gS29uZw0KICAgIE1pY2hh xYIgUGlsaXBjenVrDQogICAgWmhpbGluIFd1DQogICAgTGlqdW4gWmhhbmcNCg0KDQoNCllvdSBh cmUgc3Vic2NyaWJlZCB0byB0aGUgbGljcyBtYWlsaW5nIGxpc3QgYmVjYXVzZSB5b3UgaGF2ZSBz aWduZWQgdXAgZm9yIGl0IGluIHRoZSBwYXN0LgoKU3VibWlzc2lvbnMgdG8gdGhlIG5ld3NsZXR0 ZXI6ClNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3NAbGlzdHMudHUtYmVybGluLmRlLgoKVW5zdWJz Y3JpYmU6ClRvIHVuc3Vic2NyaWJlLCBwbGVhc2Ugc2VuZCBhbiBlbWFpbCB0byBsYXMtbGljcy1y ZXF1ZXN0QGxpc3RzLnR1LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3JkICd1bnN1YnNjcmliZScg aW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4KClN1YnNjcmliZToKVG8gc3Vic2NyaWJl LCAgcGxlYXNlIHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0cy50dS1iZXJs aW4uZGUgd2l0aAp0aGUga2V5d29yZCAnc3Vic2NyaWJlJyBpbiB0aGUgbWVzc2FnZSBib2R5ICh3 aXRob3V0ICcpLg==