From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10385 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 Online and Call for Workshops Date: Thu, 4 Feb 2021 17:19:50 +0000 Message-ID: <0B469770-010D-4C9F-87F5-4349B32D9A8E@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="13860"; 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" , "fom@cs.nyu.edu" , "homotopytypetheory@googlegroups.com" , "rewriting@ens-lyon Original-X-From: las-lics-bounces+gcsmll-las-lics=m.gmane-mx.org@lists.tu-berlin.de Thu Feb 04 18:35:37 2021 Return-path: 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 1l7iXZ-0003W8-29 for gcsmll-las-lics@m.gmane-mx.org; Thu, 04 Feb 2021 18:35:37 +0100 Original-Received: from SPMA-02.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 7505238CA9_1C3068B for ; Thu, 4 Feb 2021 17:35:36 +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-02.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTPS id 5D01DE5704_1C3061F for ; Thu, 4 Feb 2021 17:35:29 +0000 (GMT) Original-Received: from ex-01.tubit.win.tu-berlin.de (172.26.26.141) by ex-05.tubit.win.tu-berlin.de (172.26.26.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.792.3; Thu, 4 Feb 2021 18:35:27 +0100 Original-Received: from lists.tu-berlin.de (130.149.4.33) by ex-01.tubit.win.tu-berlin.de (172.26.26.141) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.792.3 via Frontend Transport; Thu, 4 Feb 2021 18:35:27 +0100 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 1l7iXO-00081U-5k; Thu, 04 Feb 2021 18:35:26 +0100 Original-Received: from b1861.mx.srv.dfn.de ([194.95.234.130]) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1l7iId-0007wO-OB; Thu, 04 Feb 2021 18:20:11 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by b1861.mx.srv.dfn.de (Postfix) with ESMTP id AE739260033 for ; Thu, 4 Feb 2021 18:20:11 +0100 (CET) X-DFN-Virus-Scanned: Debian amavisd-new at mgw5-tub.srv.dfn.de Original-Received: from b1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw5-tub.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id SVXH-hgz_PT2 for ; Thu, 4 Feb 2021 18:20:10 +0100 (CET) Original-Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk [129.67.1.165]) by b1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Thu, 4 Feb 2021 18:20:10 +0100 (CET) Original-Received: from hub06.nexus.ox.ac.uk ([163.1.154.240] helo=Hub06.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1l7iIO-0004qT-4N; Thu, 04 Feb 2021 17:19:56 +0000 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.53) by smtp.nexus.ox.ac.uk (163.1.154.240) with Microsoft SMTP Server (TLS) id 14.3.468.0; Thu, 4 Feb 2021 17:19:50 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bzKk5KyJkH++3Otku7CKahqDAlzI0RdXjQd49ZOEboEpDT44Y9P6Jd49t3eE32kNFsvRqIg0MQXbZUm0CYZ5LCZ5EBF0OhsS+6XKDLxL2enQbP9HXauzETZ7Tr5lO2rw1JVV8vyt7OSNGk7NXlNgTwQFpAWEhJtVgd+SurOJ1BonQEFnA0gsKLGB1RvaBdhtfsY0+WOnL6qdh7XS63OpZcTQVvzz4yddmPMxlVRcV5LSxpzYaCnGRkNEushNNOU6Q0Ifx12UWnjbajlt9RLtaz1DZR0wV4k3WGp1TQCwoW/p/O1vycb5vlTSXhABjD/0bOY3hARlFF+gKZh2Qlw/sg== 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=jrIliCITGkdtwDNRehBMjrD3XdxAHgxGBAlMDhY3wTw=; b=ZD2u8rrATPNmrMc/HIwCZEaCGbS1X4oCIwkJ1QtIBSBZFGJ4XxM9KhRCIKE2qLChnfrROTl4ftHHVXgDlvPpmCUBejYT+3wTRA8Kztc674QhTuJbhDl4xxHXLxVnUHeFZKdAPaT7+b01c1ytMLlYsTehkLC/P3yZMxatwVdTHoxMTZVd02DNX621lUNMje3q7BUpJPfxuTvQ0xfapWQBPV3UEwltt0ApfKB3Z2BOtupoHpk2Bdg/PEy00aMsZZzvE9lKK0kNU/p7pWMWfEhfBP59eBqZx+5M8amhTAL7lkWZXKuEMz/Ilc5YoaDNB1gtsIFsjI82F1GKMnpZu9J3Ig== 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 LO2P265MB2543.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:129::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3825.20; Thu, 4 Feb 2021 17:19:50 +0000 Original-Received: from LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::2064:f7e:10a9:576b]) by LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM ([fe80::2064:f7e:10a9:576b%5]) with mapi id 15.20.3805.028; Thu, 4 Feb 2021 17:19:50 +0000 Thread-Topic: LICS 2021 Online and Call for Workshops Thread-Index: AQHW+xnxT3/ak8n1ek2nEw4XMmIDaA== 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:69cb:d209:8d5d:3fdc] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 65dbb684-1f70-45ce-72c8-08d8c9311433 x-ms-traffictypediagnostic: LO2P265MB2543: 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: BGRZlHHStfAE5zbVutinZme2bEcICW9msGuOHdneZmnltCRBhToZE7GRmjkkc6/XabNkgqyms4CGrmhIKMmTvwfgNmtytCHkQyzooI9sIXDd3tiK9mpV+o68+kCSGbulrqoiSZFQeXAL4qb8TDLBkGSWJnhZQyR3yEAb4c7rLTrhzAOb11z3PP5moaTuEq9Fc6jUn/NIlNDk3TR9CR/ZyY70icXoV2O/3MQdJBWSFNxurTj6/rRDJd4L8d4EdUHqRpg6zMJfCZGE6BUaoRw4w41xYgVphzKTeOKvODYYWQmipWnRtYwABs0q6MvRJgkYlRkD3JT2s/Cz/LyrsU9dYpwq7RXtKO6yMFgo1k9w44iCj9gfPXUW8USGfmMYUxa5uJaq4mljk23vMgy8zpJ++FIOABx93jKwG6MOndjvNXm7AsoLw3Ir2Tl47iXuv0/48XodHPiMDURpHlfjKiLji2+Lm/KuGqazP/dXrBnhddI/tIWfGogdEo/QfHp2EI02lu8UfRsnmJSO4f3a+0H56AeIvJxSwTCrZqlIyhFZX2wwCObPn9h63N7LHSDdVG8NTDSxVcJm3LvOJmcKgWMzfK1QXEnSz0T3ZXjyINupFJHrOizxLynLiMVs4Ugj2O+SGSBQZymIMxPnRQFDsUCvZpV15bJnm3gtw9f0cfv2wGLYXJvDUK3H87SCwWAaaOQA4mJCySBHLFRoRJIZbiJEUA== 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:(346002)(39860400002)(376002)(396003)(366004)(136003)(786003)(316002)(186003)(6512007)(83080400002)(110136005)(966005)(6486002)(44832011)(66574015)(83380400001)(64756008)(5660300002)(8676002)(66556008)(66476007)(478600001)(86362001)(2616005)(66946007)(76116006)(921005)(33656002)(6506007)(2906002)(71200400001)(66446008)(7416002)(8936002)(45980500001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: Mx4+UzwjPEzmbV+iRqyZTOMazXTax0NMPqCM2Dm1wHYx+4p52V8o9anGAWdx2uka9y2V7gZTF8WyzojNVoo6UFqzntV6cNtDrRgU1Gkaqxf20ZP5vpGvPY5blpIl3aVcUK3EkElnu2mgY8nXqz+GgzdBcKwM0onRZ71YdX4OcpPxG8yganDjGGXgaKzzUFMfiOy016gBLl9CFmdkV4atDsHAP+QizV3jINjTuidBW6qWeuJuW4iM14XzxdIRMbD2a0dWY8dNCHF3oF5MkcnUjzfBnyKmi3szCh2Ec53vNCmJv9SfDe7shzBD+AKbRXpuh7wrstCL4SWkyXw7VvmjtJmlrb59SUd4HsyTgevVU0PY28KlwZ7/8gBcDWilS5LOJdbaAt5Sm6yEhU9eSL1MCwj9EDgyF0WfXKWxhwHc4kxQonoaxD3g2TEHyhIjqJ9GAnaE2yfQR/o9BQubdEtdBzvvq3Cdr471IAqTmoFLtK8/EaE0ekLdM5D/5HOG0t+XOYVlm34rAtt9djMMUO0o599OQhT9F591Fx5DZR4ZiT/KuhCELWyNVurrV/OBgvR9OAsmCFXDzF8WLlpU6OzLuo22d3y0ZpmwroFXT8yH4NX1X0JhPgm+wD9kd873HtBBOPhrflKpP6L7+drTaZuwqOfoLlqnv982NvE08iTvApefKA7vmCCh376nx+GLjfWvr9nHofFnIjIdhC/OhRdV3cJooyXoUFXp04K5ShmakINM9AcEjQHRRI5sCzrY ngEk2JLNXg3TKWiGmo/+SIZIFeLptjZzaY6oqx9GG0JZh3oIyZtkS9jrma2PT7dAVTlX x-ms-exchange-transport-forked: True Content-ID: X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LNXP265MB1244.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 65dbb684-1f70-45ce-72c8-08d8c9311433 X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Feb 2021 17:19:50.1652 (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: 18qeTOapaeMyulWS9gINbAfiM1+8tHcj6AHAL3B2Sfyz7VZXO7NP4DAepZpT/jC2gcINap2901x1txHXbh/6PQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB2543 X-Mailman-Approved-At: Thu, 04 Feb 2021 18:35:23 +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-mx.org@lists.tu-berlin.de Received-SPF: None (ex-05.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=IrTLUhJ7lmKywzdWUL6pPgA4l7uZRossyNWEKTSXwJg=; b=a8iBMuk/mnMgRnjRjqhtaZnCSffLe5zEsxAHg37cc3onfQ2eJ8C3pLZOkRyBj8JAvz3DzAgjk52vLTcNeqHoXw4OEuOPEfu2bBi+Qa8pKB/UGKjR7uJuTgGB7eCUpGhrdFU+vWo2XzPMEC+fDSIFX6VSH1VzpoMsq6KqOV5JSCY= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:105 gmane.science.mathematics.categories:10385 gmane.comp.lang.agda:12491 gmane.science.mathematics.discrete:14536 Archived-At: SXQgd2FzIHJlY2VudGx5IGRlY2lkZWQgdGhhdCBMSUNTIDIwMjEgd2lsbCBiZSBoZWxkIG9ubGlu ZS4gRm9yIHRoaXMgcmVhc29uIHdl4oCZcmUgbWFraW5nIGFub3RoZXIgY2FsbCBmb3Igd29ya3No b3AgcHJvcG9zYWxzOg0KDQoNCjM2VEggQU5OVUFMIEFDTS9JRUVFIFNZTVBPU0lVTSBPTiBMT0dJ QyBJTiBDT01QVVRFUiBTQ0lFTkNFIChMSUNTIDIwMjEpDQogICAybmQgQ2FsbCBmb3IgV29ya3No b3AgUHJvcG9zYWxzDQogICBodHRwOi8vZWFzeWNvbmZlcmVuY2VzLmV1L2xpY3MyMDIxLw0KDQoq IFRoZSB0aGlydHktc2l4dGggQW5udWFsIEFDTS9JRUVFIFN5bXBvc2l1bSBvbiBMb2dpYyBpbiBD b21wdXRlcg0KICAgU2NpZW5jZSAoTElDUycyMSkgd2lsbCBiZSBoZWxkIG9ubGluZSBvbiBKdW5l IDI5LUp1bHkgMiwgMjAyMS4NCiAgIFRoZSB3b3Jrc2hvcHMgd2lsbCBiZSBoZWxkIG9ubGluZSBv biBKdW5lIDI3LTI4LCAyMDIxLg0KDQoqIFJlc2VhcmNoZXJzIGFuZCBwcmFjdGl0aW9uZXJzIGFy ZSBpbnZpdGVkIHRvIHN1Ym1pdCBwcm9wb3NhbHMgZm9yDQogICB3b3Jrc2hvcHMgb24gdG9waWNz IHJlbGF0aW5nIGxvZ2ljIC0gYnJvYWRseSBjb25zdHJ1ZWQgLSB0byBjb21wdXRlcg0KICAgc2Np ZW5jZSBvciByZWxhdGVkIGZpZWxkcy4gVHlwaWNhbGx5LCBMSUNTIHdvcmtzaG9wcyBmZWF0dXJl IGENCiAgIG51bWJlciBvZiBpbnZpdGVkIHNwZWFrZXJzIGFuZCBhIG51bWJlciBvZiBjb250cmli dXRlZA0KICAgcHJlc2VudGF0aW9ucy4gTElDUyB3b3Jrc2hvcHMgZG8gbm90IHVzdWFsbHkgcHJv ZHVjZSBmb3JtYWwNCiAgIHByb2NlZWRpbmdzLiBIb3dldmVyLCBpbiB0aGUgcGFzdCB0aGVyZSBo YXZlIGJlZW4gc3BlY2lhbCBpc3N1ZXMgb2YNCiAgIGpvdXJuYWxzIGJhc2VkIGluIHBhcnQgb24g Y2VydGFpbiBMSUNTIHdvcmtzaG9wcy4NCg0KKiBQcm9wb3NhbHMgc2hvdWxkIGluY2x1ZGU6DQog ICAgLSAgQSBzaG9ydCBzY2llbnRpZmljIHN1bW1hcnkgYW5kIGp1c3RpZmljYXRpb24gb2YgdGhl IHByb3Bvc2VkDQogICAgICAgdG9waWMuIFRoaXMgc2hvdWxkIGluY2x1ZGUgYSBkaXNjdXNzaW9u IG9mIHRoZSBwYXJ0aWN1bGFyDQogICAgICAgYmVuZWZpdHMgb2YgdGhlIHRvcGljIHRvIHRoZSBM SUNTIGNvbW11bml0eS4NCiAgICAtICBUaGUgcHJvcG9zZWQgZHVyYXRpb24sIHdoaWNoIGlzIHR5 cGljYWxseSBvbmUgZGF5ICh0d28tZGF5DQogICAgICAgd29ya3Nob3BzIGNhbiBiZSBhY2NvbW1v ZGF0ZWQgdG9vKS4NCiAgICAtICBFeHBlY3RlZCBudW1iZXIgb2YgcGFydGljaXBhbnRzLCBwcm92 aWRpbmcgZGF0YSBvbiBwcmV2aW91cyB5ZWFycw0KICAgICAgIGlmIHRoZSB3b3Jrc2hvcCBoYXMg YWxyZWFkeSBiZWVuIG9yZ2FuaXNlZCBpbiB0aGUgcGFzdC4NCiAgICAtICBQcm9jZWR1cmVzIGZv ciBzZWxlY3RpbmcgcGFydGljaXBhbnRzIGFuZCBwYXBlcnMuDQogICAgLSAgUG90ZW50aWFsIGlu dml0ZWQgc3BlYWtlcnMuDQogICAgLSAgQW4gYWdlbmRhLg0KICAgIC0gIFBsYW5zIGZvciBkaXNz ZW1pbmF0aW9uIChmb3IgZXhhbXBsZSwgc3BlY2lhbCBpc3N1ZXMgb2Ygam91cm5hbHMpLg0KICAg UHJvcG9zYWxzIHNob3VsZCBiZSBzZW50IHRvIEZyw6lkw6lyaWMgQmxhbnF1aTogZnJlZGVyaWMu YmxhbnF1aUBpbnJpYS5mcg0KDQoqIElNUE9SVEFOVCBEQVRFUzoNCiAgIC0gV29ya3Nob3AgcHJv cG9zYWwgc3VibWlzc2lvbiBkZWFkbGluZTogRmVicnVhcnkgMjgsIDIwMjANCiAgIC0gTm90aWZp Y2F0aW9uOiBNYXJjaCAzLCAyMDIwDQogICAtIFByb2dyYW0gb2YgdGhlIHdvcmtzaG9wcyByZWFk eTogTWF5IDI3LCAyMDIxDQogICAtIFdvcmtzaG9wczogSnVuZSAyNy0yOCwgMjAyMQ0KICAgLSBM SUNTIGNvbmZlcmVuY2U6IEp1bmUgMjktSnVseSAyLCAyMDIxDQoNCiogVGhlIHdvcmtzaG9wcyBz ZWxlY3Rpb24gY29tbWl0dGVlIGNvbnNpc3RzIG9mIHRoZSBMSUNTIFdvcmtzaG9wcyBDaGFpciwN CiAgIHRoZSBMSUNTIEdlbmVyYWwgQ2hhaXIsIHRoZSBMSUNTIFBDIENoYWlycyBhbmQgdGhlIExJ Q1MgQ29uZmVyZW5jZSBDaGFpcnMuDQoNCg0KDQpZb3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIGxp Y3MgbWFpbGluZyBsaXN0IGJlY2F1c2UgeW91IGhhdmUgc2lnbmVkIHVwIGZvciBpdCBpbiB0aGUg cGFzdC4KClN1Ym1pc3Npb25zIHRvIHRoZSBuZXdzbGV0dGVyOgpTZW5kIGFuIGVtYWlsIHRvIGxh cy1saWNzQGxpc3RzLnR1LWJlcmxpbi5kZS4KClVuc3Vic2NyaWJlOgpUbyB1bnN1YnNjcmliZSwg cGxlYXNlIHNlbmQgYW4gZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0cy50dS1iZXJsaW4u ZGUgd2l0aAp0aGUga2V5d29yZCAndW5zdWJzY3JpYmUnIGluIHRoZSBtZXNzYWdlIGJvZHkgKHdp dGhvdXQgJykuCgpTdWJzY3JpYmU6ClRvIHN1YnNjcmliZSwgIHBsZWFzZSBzZW5kIGFuIGVtYWls IHRvIGxhcy1saWNzLXJlcXVlc3RAbGlzdHMudHUtYmVybGluLmRlIHdpdGgKdGhlIGtleXdvcmQg J3N1YnNjcmliZScgaW4gdGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4=