From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10302 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 Workshops Date: Mon, 19 Oct 2020 08:34:36 +0000 Message-ID: <731DE23E-405E-4BDC-99D4-10B3725B70AF@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="685"; 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 1kUQf5-000AcU-AC for gcsmll-las-lics@m.gmane-mx.org; Mon, 19 Oct 2020 10:36:59 +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 E78377414D_F8D5029B for ; Mon, 19 Oct 2020 08:36:57 +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 C1B02715B6_F8D5021F for ; Mon, 19 Oct 2020 08:36:49 +0000 (GMT) Original-Received: from ex-04.tubit.win.tu-berlin.de (172.26.26.144) by ex-06.tubit.win.tu-berlin.de (172.26.26.146) 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 10:36:48 +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 10:36:48 +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 1kUQet-0005oy-7B; Mon, 19 Oct 2020 10:36:47 +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 1kUQdM-0005lq-Uf; Mon, 19 Oct 2020 10:35:12 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by a1861.mx.srv.dfn.de (Postfix) with ESMTP id D578A260079 for ; Mon, 19 Oct 2020 10:35:12 +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 8-gxqapl-i4a for ; Mon, 19 Oct 2020 10:35:10 +0200 (CEST) Original-Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk [129.67.1.165]) by a1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Mon, 19 Oct 2020 10:35:10 +0200 (CEST) Original-Received: from hub05.nexus.ox.ac.uk ([163.1.154.231] helo=Hub05.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 1kUQcw-0009nJ-4C; Mon, 19 Oct 2020 09:34:46 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.56) by smtp.nexus.ox.ac.uk (163.1.154.231) with Microsoft SMTP Server (TLS) id 14.3.468.0; Mon, 19 Oct 2020 09:34:36 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fzQp8dgVk6yGYoD/pQbzToAdp0ZlVqrH9UabUv6FuQxFy/OQjlP7+eW5MVmGtau2E377MzhgACs6SxzT6c6z5QUqnBg6ii+7TveHYxlhqxunQWaYwOQLWYnwMPvDd+g9G9eGS2Q4boJsUOeP3LdIM/Xkz65K4h8uRwvlTVTIaA/fxYMBZBA8DeND75cBGo0xfdPHBGPWQiQaZOY9pMYVejFPoW9RVYgW64FyR0Hf/vi0JHl10jEkKd4EQx6ColWkhGJEP3P9tCYlqE1GXfZ82maemjgJKLBZ5JHCmjDV2Qd9dx6HDmNYfwFvBtOUphWnQITISHpIPhBUyrE1Vr3Fog== 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=In4qX+slwHGnBQtD67rawJyH2uhZmDnBfBj1FuaWNmw=; b=NmZv6Iy6TgqrMDjNzL2Y7Zy03rh8WmnYv4S7fOXA11shYwghTT6ENZKM5Iw7ZKqsCSBw6ghsC05KeD4nWxHV5nHRoBgvnnKuw6vvyKfCEosSCu+vaBSCRl55aSR54ZLOIf/ptztjHbaPTpzYnogVmTlijQ6gJepMUYsb/vqyULyhtowOc5Ch7u1YNDuZuc7vqi/W0fL6u/3bvmsjjOkzP+Z+0yIzDAY9iAfYX3jLkS6EkdRSS0xd/8Q8e6/C+ivBp0pZrbvCWGhp56YS5LesUjlYnmpquYWC/1wRZpSPyqIlmEPanr0kJS7SIj/QDcTwAnLFjCTSylyDwBUKlPicAQ== 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 LO3P265MB2220.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:107::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3477.21; Mon, 19 Oct 2020 08:34:36 +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 08:34:36 +0000 Thread-Topic: LICS 2021 Call for Workshops Thread-Index: AQHWpfKtXuMJMlk6ZEeR8D2soKfagQ== 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:8d20:414f:1509:5944] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: e3fbcdcd-867e-45b5-e995-08d87409cfd3 x-ms-traffictypediagnostic: LO3P265MB2220: 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: S+3MammYosT7w931SMk5BNWTG+sA9UIhgwuo5az3C822BPL2zBueSx5ALyrKK4klimBhHWrJf7ZIfp6onEktcJ2zjVb15CGF0KNFjjt37zVgbEf97o2j6jv3S9Ra3iH9R6q2AU9uUDd8sdXo9adt6MJtmTJpjYVr/Z8FMeKxC6QF7vUIi0nmEuI7AmrBd55zopnapXMW/WfCxUisyB+0QWDL0RH1JQWemFEphdUI9ASGsDYMUICOtjTTKdMr82Lo+UBgPtCP6tq4eWE0QtqKUloRAWQttV6Brn+TUGYmGgl7+49AU4Oc4WWixJR3Ty9kR4jTEZQx+tUpImE8gTkOzvoIBYDBiI1pC8wQy//TCoP86EyAKU3hvX6k79URyUbLpgAcomkfA232VCBkraeF1AL5SER7wbd9rEzAwcDojJoCAwcdNLzEbSFC3ycO/6dj 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:(376002)(346002)(396003)(39860400002)(136003)(366004)(71200400001)(478600001)(6486002)(33656002)(44832011)(5660300002)(76116006)(66946007)(66476007)(66556008)(64756008)(66446008)(66574015)(83380400001)(2906002)(86362001)(6512007)(316002)(2616005)(110136005)(786003)(186003)(966005)(6506007)(8676002)(7416002)(8936002)(921003); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: 0ed25OYXGdbcbD4Q12F1+nA2xquELs/dJrMlYGXINnyASdv+9zvFvx0/Q1weJPDRzoh8C10cI4dLsLAKnzls7iLxN7sOrG4VG7juTZziSaniiYfN8mL5qDKmzzns3VVY/LQ9LoCuIFDDlL/r1lVfYC6vQm8R+4IY/fdVR4vtkK2OhK2WlTGn33qWXjHL9lMJ8TWhY2Whr/9Y25ILvu1+RyDs7hnsbERmnVAtariHoQt9xNlxLDrg3tX+NK9smdxetQEmB2SQGD8vbvPo2JzZdXy5hGXbeU7uvbRdzt15uSIKfmHUCYanzEZ7poYon2kEeL6JUJen6NL7b2JhEKgJS0OUH71gkeXnhr7Z+TTQlOuVkmCrmKlLYEbteWdQyNEe/ITXSiymzcKJDwA9i6flQHIF+vTKlP2b+PLB8tynq9aU0RjVb8rU00CDEEmkj+w1WT0dETIpUIrzVS9+U7joc53aIxm6UwOa1q4778WmXdluhRoI6gEr44MHdcaIEppfbWYF3hhbAmP+OubrR/HZjNX6TG+TYFI1fCe4fLeTf2rcKpkDRkH/fqxzeQbks5t8Ksi65eqCH/sE69Iqav82Fcsk/bWAxB5jtxMmPfLWZM7L999bpHo/GPZEI6s3jCMkEBBqbTsAC6DIjbO9ulV6SnSP8GlMe7Oggbd6d2c3pI1w4vDaUG4JZBRBjPz/rTcmy3a35IHHgO5vg0uEwQLj9w== 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: e3fbcdcd-867e-45b5-e995-08d87409cfd3 X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Oct 2020 08:34:36.2444 (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: xm8LZUqhGhRm3+dfGa+/a033I4gnkk6xERvAOkN6q4b5tuo8EKUql5F6y5WGCZpiwMU+fOnZK+k6LkLjSHoKkQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO3P265MB2220 X-Mailman-Approved-At: Mon, 19 Oct 2020 10:36:45 +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.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=D8cAkEmXkiwLF1ViFcjvqq1YsOSOGvaNTTzaAquWnsk=; b=N5Dr82fQYmdWuCDvvlKhxeusV/mR3ei8mRcrQbyN8VAolFn/N2/Ck+9FHaLWWGxzKiZGm2MvCQJZtSwehveYUU7d1m3a6uleMVLkiuTudCvdQZQdX7wx+CCmOw35ZmvfQwPtvO9mmkcRFq8MSQbmxh1Qa9hhiSN7BrfficoLImw= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:100 gmane.science.mathematics.categories:10302 gmane.comp.lang.agda:12296 gmane.science.mathematics.discrete:14139 Archived-At: MzZUSCBBTk5VQUwgQUNNL0lFRUUgU1lNUE9TSVVNIE9OIExPR0lDIElOIENPTVBVVEVSIFNDSUVO Q0UgKExJQ1MgMjAyMSkNCkNhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2Fscw0KaHR0cDovL2Vhc3lj b25mZXJlbmNlcy5ldS9saWNzMjAyMS8NCg0KKiBUaGUgdGhpcnR5LXNpeHRoIEFubnVhbCBBQ00v SUVFRSBTeW1wb3NpdW0gb24gTG9naWMgaW4gQ29tcHV0ZXINCiAgIFNjaWVuY2UgKExJQ1MnMjEp IHdpbGwgYmUgaGVsZCBpbiBSb21lLCBJdGFseSwgb24gSnVuZSAyOS1KdWx5IDIsDQogICAyMDIx LiBUaGUgd29ya3Nob3BzIHdpbGwgdGFrZSBwbGFjZSBvbiBKdW5lIDI3LTI4LCAyMDIxLg0KDQoq IFJlc2VhcmNoZXJzIGFuZCBwcmFjdGl0aW9uZXJzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBwcm9w b3NhbHMgZm9yDQogICB3b3Jrc2hvcHMgb24gdG9waWNzIHJlbGF0aW5nIGxvZ2ljIC0gYnJvYWRs eSBjb25zdHJ1ZWQgLSB0byBjb21wdXRlcg0KICAgc2NpZW5jZSBvciByZWxhdGVkIGZpZWxkcy4g VHlwaWNhbGx5LCBMSUNTIHdvcmtzaG9wcyBmZWF0dXJlIGENCiAgIG51bWJlciBvZiBpbnZpdGVk IHNwZWFrZXJzIGFuZCBhIG51bWJlciBvZiBjb250cmlidXRlZA0KICAgcHJlc2VudGF0aW9ucy4g TElDUyB3b3Jrc2hvcHMgZG8gbm90IHVzdWFsbHkgcHJvZHVjZSBmb3JtYWwNCiAgIHByb2NlZWRp bmdzLiBIb3dldmVyLCBpbiB0aGUgcGFzdCB0aGVyZSBoYXZlIGJlZW4gc3BlY2lhbCBpc3N1ZXMg b2YNCiAgIGpvdXJuYWxzIGJhc2VkIGluIHBhcnQgb24gY2VydGFpbiBMSUNTIHdvcmtzaG9wcy4N Cg0KKiBQcm9wb3NhbHMgc2hvdWxkIGluY2x1ZGU6DQogICAgLSAgQSBzaG9ydCBzY2llbnRpZmlj IHN1bW1hcnkgYW5kIGp1c3RpZmljYXRpb24gb2YgdGhlIHByb3Bvc2VkDQogICAgICAgdG9waWMu IFRoaXMgc2hvdWxkIGluY2x1ZGUgYSBkaXNjdXNzaW9uIG9mIHRoZSBwYXJ0aWN1bGFyDQogICAg ICAgYmVuZWZpdHMgb2YgdGhlIHRvcGljIHRvIHRoZSBMSUNTIGNvbW11bml0eS4NCiAgICAtICBU aGUgcHJvcG9zZWQgZHVyYXRpb24sIHdoaWNoIGlzIHR5cGljYWxseSBvbmUgZGF5ICh0d28tZGF5 DQogICAgICAgd29ya3Nob3BzIGNhbiBiZSBhY2NvbW1vZGF0ZWQgdG9vKS4NCiAgICAtICBFeHBl Y3RlZCBudW1iZXIgb2YgcGFydGljaXBhbnRzLCBwcm92aWRpbmcgZGF0YSBvbiBwcmV2aW91cyB5 ZWFycw0KICAgICAgIGlmIHRoZSB3b3Jrc2hvcCBoYXMgYWxyZWFkeSBiZWVuIG9yZ2FuaXNlZCBp biB0aGUgcGFzdC4NCiAgICAtICBQcm9jZWR1cmVzIGZvciBzZWxlY3RpbmcgcGFydGljaXBhbnRz IGFuZCBwYXBlcnMuDQogICAgLSAgUG90ZW50aWFsIGludml0ZWQgc3BlYWtlcnMuDQogICAgLSAg QSBkaXNjdXNzaW9uIG9mIHRoZSBwcm9wb3NlZCBmb3JtYXQsIHdoZXRoZXIgaXQgc2hvdWxkIGJl DQogICAgICAgYSBwaHlzaWNhbCBtZWV0aW5nIG9ubHksIGEgdmlydHVhbCBtZWV0aW5nIG9ubHks IG9yIGEgY29tYmluYXRpb24NCiAgICAgICB0aGVyZW9mLCBhbmQgd2hldGhlciB5b3UgbmVlZCBz cGVjaWFsIGVxdWlwbWVudHMgb3IgdGVjaG5vbG9naWVzLg0KICAgIC0gIEFuIGFnZW5kYS4NCiAg ICAtICBQbGFucyBmb3IgZGlzc2VtaW5hdGlvbiAoZm9yIGV4YW1wbGUsIHNwZWNpYWwgaXNzdWVz IG9mIGpvdXJuYWxzKS4NCiAgIFByb3Bvc2FscyBzaG91bGQgYmUgc2VudCB0byBGcsOpZMOpcmlj IEJsYW5xdWk6IGZyZWRlcmljLmJsYW5xdWlAaW5yaWEuZnINCg0KKiBJTVBPUlRBTlQgREFURVM6 DQogICAtIFN1Ym1pc3Npb24gZGVhZGxpbmU6ICAgICAgICAgICAgRGVjZW1iZXIgNiwgMjAyMA0K ICAgLSBOb3RpZmljYXRpb246ICAgICAgICAgICAgICAgICAgIERlY2VtYmVyIDE4LCAyMDIwDQog ICAtIFByb2dyYW0gb2YgdGhlIHdvcmtzaG9wcyByZWFkeTogTWF5IDI3LCAyMDIxDQogICAtIFdv cmtzaG9wczogICAgICAgICAgICAgICAgICAgICAgSnVuZSAyNy0yOCwgMjAyMQ0KICAgLSBMSUNT IGNvbmZlcmVuY2U6ICAgICAgICAgICAgICAgIEp1bmUgMjktSnVseSAyLCAyMDIxDQoNCiogVGhl IHdvcmtzaG9wcyBzZWxlY3Rpb24gY29tbWl0dGVlIGNvbnNpc3RzIG9mIHRoZSBMSUNTIFdvcmtz aG9wcyBDaGFpciwNCiAgIHRoZSBMSUNTIEdlbmVyYWwgQ2hhaXIsIHRoZSBMSUNTIFBDIENoYWly cyBhbmQgdGhlIExJQ1MgQ29uZmVyZW5jZSBDaGFpcnMuDQoNCiogQ09WSUQtMTk6IHRoZSBvcmdh bmlzZXJzIGFyZSB3YXRjaGluZyB0aGUgZXZvbHV0aW9uIG9mIHRoZSBwYW5kZW1pYw0KICB2ZXJ5 IGNsb3NlbHkgYW5kIHdpbGwgbWFrZSBhIGRlY2lzaW9uIGxhdGVyIG9uIHdoZXRoZXIgb3Igbm90 IHRoZQ0KICBtZWV0aW5nIGNhbiBiZSBoZWxkIGluLXBlcnNvbiBpbiBSb21lIG9yIG5vdC4NCg0K WW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBsaWNzIG1haWxpbmcgbGlzdCBiZWNhdXNlIHlvdSBo YXZlIHNpZ25lZCB1cCBmb3IgaXQgaW4gdGhlIHBhc3QuCgpTdWJtaXNzaW9ucyB0byB0aGUgbmV3 c2xldHRlcjoKU2VuZCBhbiBlbWFpbCB0byBsYXMtbGljc0BsaXN0cy50dS1iZXJsaW4uZGUuCgpV bnN1YnNjcmliZToKVG8gdW5zdWJzY3JpYmUsIHBsZWFzZSBzZW5kIGFuIGVtYWlsIHRvIGxhcy1s aWNzLXJlcXVlc3RAbGlzdHMudHUtYmVybGluLmRlIHdpdGgKdGhlIGtleXdvcmQgJ3Vuc3Vic2Ny aWJlJyBpbiB0aGUgbWVzc2FnZSBib2R5ICh3aXRob3V0ICcpLgoKU3Vic2NyaWJlOgpUbyBzdWJz Y3JpYmUsICBwbGVhc2Ugc2VuZCBhbiBlbWFpbCB0byBsYXMtbGljcy1yZXF1ZXN0QGxpc3RzLnR1 LWJlcmxpbi5kZSB3aXRoCnRoZSBrZXl3b3JkICdzdWJzY3JpYmUnIGluIHRoZSBtZXNzYWdlIGJv ZHkgKHdpdGhvdXQgJyku